Build #243 (6/04/2018, 1:45:07 PM)

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

Started by GitHub push by agarny

This run spent:

• 5.1 sec waiting;
• 14 min build duration;
• 14 min total from scheduled to completion.

• refs/remotes/origin/master