Started 1 mo 19 days ago
Took 12 min

Success Build #1268 (Dec 4, 2019 9:10:34 AM)

PR #4033: Remove references of deprec...

GitHub pull request #4033 of commit 004b2c8604e2b2112b4908c9cf120234c14a54ee, no merge conflicts.

Test Result (no failures)