Skip to content

Do not couple search position to sidebar width#5716

Merged
tobiasdiez merged 1 commit intomasterfrom fixToolbarDec 7, 2019

Commits

Commits on Dec 6, 2019