Build #11 (19/05/2017, 9:11:18 PM)

1. Slight update to our downloads page (#1314). (commit: 925e609) (details / githubweb)
2. Some minor cleaning up [ci skip]. (commit: d0c4322) (details / githubweb)

Started by GitHub push by agarny (2 times)

This run spent:

• 38 min waiting;
• 33 min build duration;
• 1 hr 12 min total from scheduled to completion.

• refs/remotes/origin/master