Made the question a checkbox

To be checked off by the submitter.
This commit is contained in:
Federico Hernandez 2018-02-07 15:02:43 +01:00 committed by GitHub
parent b0b95f6442
commit d343da448c
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,6 +1,6 @@
#### Additional information...
* Have you run the test suite?
* [ ] Have you run the test suite?
Many changes need to be tested. Please run the test suite and include the output
of the ```cd test && ./problems``` command.