Skip to content

Conversation

@dominikriemer
Copy link
Member

Purpose

Remarks

PR introduces (a) breaking change(s): no

PR introduces (a) deprecation(s): no

@github-actions github-actions bot added the ui Anything that affects the UI label Oct 27, 2025
@tenthe tenthe merged commit 45b68b1 into dev Oct 27, 2025
21 checks passed
@tenthe tenthe deleted the fix-layout-buttons-close-data-explorer branch October 27, 2025 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ui Anything that affects the UI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants