Build #56 (8/07/2017, 1:21:42 AM)

1. Some minor cleaning up. (commit: dd2e687) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 2 min 22 sec waiting;
• 9 min 39 sec build duration;
• 12 min total from scheduled to completion.

• refs/remotes/origin/master