Started 1 mo 20 days ago
Took 7 min 31 sec

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

PR #4033: Remove references of deprec...

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