Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Rollup merge of #44671 - GuillaumeGomez:run-button, r=steveklabnik
Fix run button r? @QuietMisdreavus Before: ![before](https://user-images.githubusercontent.com/3050060/30538927-612c6a44-9c70-11e7-9ca2-f3860d880b95.png) After: ![after](https://user-images.githubusercontent.com/3050060/30538929-6416ea0e-9c70-11e7-990a-7e4fbf5d7319.png) Quite urgent.
- Loading branch information