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

Success Build #10801 (Jan 12, 2019 12:12:13 PM)

PR #3756: Inline objects
No changes.

GitHub pull request #3756 of commit 9931dd112d1d4bc1d04cdc6b0befce25b09d3b19 automatically merged.

Revision: 82c62f6124b194b2b2ba21810dabe20436522587
  • origin/pr/3756/merge