Build #205 (27/01/2018, 6:48:35 AM)

1. Some minor cleaning up. (commit: 628282b) (details / githubweb)
2. General: make sure that reloading a file involves checking that a file (commit: 4553cf7) (details / githubweb)
3. General: make sure that reloading a file involves checking that a file (commit: 169409c) (details / githubweb)
4. Some minor cleaning up. (commit: 4bf0cbd) (details / githubweb)
5. General: a new file (with no specific type) is not wrongly considered to (commit: ee5524f) (details / githubweb)
6. Slight update to our downloads page (#1530). (commit: 81733e1) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 7.9 sec waiting;
• 37 min build duration;
• 37 min total from scheduled to completion.

• refs/remotes/origin/master