Build #242 (6/04/2018, 11:48:12 AM)

1. Some minor cleaning up (#1592). (commit: 296b207) (details / githubweb)

Started by GitHub push by agarny

This run spent:

• 8.9 sec waiting;
• 15 min build duration;
• 15 min total from scheduled to completion.

• refs/remotes/origin/master