Skip to content

Sidebar fixes, mostly fixing design of tabs#12180

Merged
MorrisJobke merged 3 commits intomasterfrom
sidebar-fixes
Nov 1, 2018
Merged

Sidebar fixes, mostly fixing design of tabs#12180
MorrisJobke merged 3 commits intomasterfrom
sidebar-fixes

Commits

Commits on Nov 1, 2018