Skip to content

Replace the label chooser with a new LabelPicker - #6748

Merged
BurntimeX merged 3 commits into
6.3from
63-label-picker
Oct 22, 2026
Merged

BurntimeX merged 3 commits into
6.3from
63-label-picker

Conversation

@BurntimeX

Copy link
Copy Markdown
Member

ref #5684

@BurntimeX
BurntimeX merged commit ebed29a into 6.3 Oct 22, 2026
7 checks passed
@BurntimeX
BurntimeX deleted the 63-label-picker branch October 22, 2026 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant