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

Aborted Build #10724 (Jan 9, 2019 7:36:21 PM)

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

GitHub pull request #3734 of commit 7ecb5bb9e035460721ecfb43b9cdb7c8a5527c34 automatically merged.

Revision: 47503bd684617ef47660bb57b697d9a78ad73118
  • origin/pr/3734/merge