Build #11 (19/05/2017, 9:00:53 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:

• 27 min waiting;
• 30 min build duration;
• 58 min total from scheduled to completion.

• refs/remotes/origin/master