Skip to content

[ui] Two small UI quality of life changes#19377

Merged
philrenaud merged 3 commits intomainfrom ui-sync-fixesDec 8, 2023

Commits

Commits on Dec 7, 2023