Skip to content

Fix default height of top/bottom panels#4779

Merged
emilk merged 1 commit intomasterfrom emilk/fix-default-top-bar-heightJul 4, 2024

Commits

Commits on Jul 4, 2024