Build #185 (29/12/2017, 11:04:33 PM)

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

Started by GitHub push by agarny

This run spent:

• 5.9 sec waiting;
• 16 min build duration;
• 16 min total from scheduled to completion.

• refs/remotes/origin/master