Skip to content

Sidebar fixes, mostly fixing design of tabs#12180

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

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

Fix design of tabs in sidebar

c0aee3f
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs