Started 6 days 21 hr ago
Took 3 hr 0 min on research-jenkins-worker-08

Aborted Build #10723 (Jan 9, 2019 7:25:44 PM)

PR #3734: Convert code to proper C++
No changes.

GitHub pull request #3734 of commit 31f84a4724822148f3973c9d7cbbbf1ca85f112d.

Revision: 31f84a4724822148f3973c9d7cbbbf1ca85f112d
  • origin/pr/3734/head