]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #36637 - GuillaumeGomez:fix_run_button, r=bluss
authorbors <bors@rust-lang.org>
Sun, 9 Oct 2016 02:42:55 +0000 (19:42 -0700)
committerGitHub <noreply@github.com>
Sun, 9 Oct 2016 02:42:55 +0000 (19:42 -0700)
Fixes run button appearing when it shouldn't

Fixes #36621.

r? @steveklabnik


Trivial merge