Build #4 (Nov 17, 2019 8:48:07 AM)

1. More deprecated code missed in the last compilation (details / githubweb)

Push event to branch 1.14 at 8:48:00 AM on Nov 17, 2019

This run spent:

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

• 1.14