Skip to content

Fixes run button appearing when it shouldn't#36637

Merged
bors merged 1 commit intorust-lang:masterfrom
GuillaumeGomez:fix_run_button
Oct 9, 2016

Commits

Commits on Oct 5, 2016