Skip to content

Bump web console (small combobox improvement)#10537

Merged
david-crespo merged 1 commit into
mainfrom
bump-console-f1008b5d
Jun 3, 2026
Merged

Bump web console (small combobox improvement)#10537
david-crespo merged 1 commit into
mainfrom
bump-console-f1008b5d

Conversation

@david-crespo david-crespo enabled auto-merge (squash) June 2, 2026 23:33
@david-crespo david-crespo merged commit 8c7497a into main Jun 3, 2026
18 checks passed
@david-crespo david-crespo deleted the bump-console-f1008b5d branch June 3, 2026 05:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant