Build #216 (13/02/2018, 3:38:05 AM)

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

Started by GitHub push by agarny

This run spent:

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

• refs/remotes/origin/master