Build #203 (24/01/2018, 3:42:59 AM)

1. Slight update to our prerequisites page (#1526). (commit: 8534769) (details / githubweb)
2. Slight upgrade to our downloads page (#1526). (commit: 44f6b05) (details / githubweb)
3. Developer documentation: got our "Feature" label to follow the new Git (commit: 4e67488) (details / githubweb)
4. Some minor cleaning up. (commit: d2819ef) (details / githubweb)
5. Some minor cleaning up. (commit: c469962) (details / githubweb)
6. Developer documentation: got our labels to follow the new Git colouring (commit: 7244669) (details / githubweb)

Started by GitHub push by agarny

This run spent:

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

• refs/remotes/origin/master