Build #235 (Dec 9, 2018 12:22:06 AM)

1. minor cleanup (details / githubweb)

Started by an SCM change

This run spent:

• 5.9 sec waiting;
• 36 sec build duration;
• 42 sec total from scheduled to completion.

• origin/1.12