Started 4 mo 14 days ago
Took 24 min on amp-jenkins-worker-06

Success Build #873 (Jul 9, 2019 11:00:10 PM)

PR #525: minor doc fixes
No changes.

GitHub pull request #525 of commit 1e11cf9fa2d77b6c6fe233d2fbecfebdc741a947 automatically merged.

Revision: 145657bc5038d05bbc05d269e021823607519544
  • origin/pr/525/merge

Configurations

Successdefault