Skip to content

Fix theme-checker failure#61181

Merged
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:fix-theme-checker
Jun 22, 2019
Merged

Fix theme-checker failure#61181
bors merged 3 commits intorust-lang:masterfrom
GuillaumeGomez:fix-theme-checker

Commits

Commits on Jun 20, 2019