Started 2 days 5 hr ago
Took 6 min 0 sec

Success Build #2214 (Dec 13, 2019 4:13:49 PM)

PR #4673: Remove definitions and uses...

GitHub pull request #4673 of commit 4342618c19c4f058b941587838a1b2597f423ad0, no merge conflicts.

Test Result (no failures)