Build #12 (Dec 15, 2019 5:30:11 AM)

1. Clean up some code (details / githubweb)
2. Release 1.0.2 (details / githubweb)

Push event to branch 1.14 at 5:30:04 AM on Dec 15, 2019

This run spent:

• 7 ms waiting;
• 11 sec build duration;
• 11 sec total from scheduled to completion.

• 1.14