Skip to content

Few fixes for multiple themes support feature#47686

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:theme-fixes
Jan 25, 2018

Commits

Commits on Jan 24, 2018