Build #94 (8/09/2017, 6:41:59 PM)

1. Some minor cleaning up of our third-party libraries page [ci skip]. (commit: c3ab4d0) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 9.9 sec waiting;
• 1 hr 50 min build duration;
• 1 hr 50 min total from scheduled to completion.

• refs/remotes/origin/master