Skip to content

Fix ugly hover in sidebar#47951

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:sidebar-hover
Feb 3, 2018
Merged

Fix ugly hover in sidebar#47951
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:sidebar-hover

Commits

Commits on Feb 1, 2018