Started 10 days ago
Took 2 hr 12 min on research-jenkins-worker-08

Success Build #10736 (Jan 9, 2019 11:41:32 PM)

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

GitHub pull request #3734 of commit 55de2eeda40be5dde3ee5f8dcfdf409745334449 automatically merged.

Revision: 78db807f44ec02758ee1b012730654aa2a628668
  • origin/pr/3734/merge