Skip to content

Fix blink when main theme is selected#48831

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix-theme-blink
Mar 14, 2018

Commits

Commits on Mar 12, 2018