Build #134 (8/10/2017, 1:55:39 AM)

1. Some minor cleaning up [ci skip]. (commit: 8dbfaad) (details / githubweb)

Started by GitHub push by agarny

This run spent:

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

• refs/remotes/origin/master