Started 4 mo 16 days ago
Took 14 min on research-jenkins-worker-09

Success Build 2.7.5,2.11,2.4.4,ubuntu (Nov 19, 2019 1:19:06 PM)

Changes
  1. fixed comment (detail / githubweb)

Started by upstream project mango-prb build number 911
originally caused by:

  • GitHub pull request #536 of commit c7aab91d5b6cbe12c8f8a71a816270b48a377a46 automatically merged.

Revision: 3f214f621480c16f7b757202e536e3bab678cb2d
  • origin/pr/536/merge