Skip to content

Small UI improvements - #1710

Merged
bsteubing merged 5 commits into
majorfrom
small-UI-improvements
Jul 31, 2026
Merged

Small UI improvements#1710
bsteubing merged 5 commits into
majorfrom
small-UI-improvements

Commits

Commits on Jul 29, 2026

Commits on Jul 30, 2026