Skip to content

optimise bold labels a bit - #2293

Merged
schombert merged 1 commit into
schombert:mainfrom
ineveraskedforthis:main
Aug 13, 2026
Merged

optimise bold labels a bit#2293
schombert merged 1 commit into
schombert:mainfrom
ineveraskedforthis:main

Commits

Commits on Aug 12, 2026