Started 3 yr 10 mo ago
Took 34 sec on amp-jenkins-worker-03

Success Build #21 (Jan 12, 2016 5:26:12 AM)

PR #76: Fixes related to the double...
No changes.

GitHub pull request #76 of commit 900beed284571615b1f2b692b563216df716caa4 automatically merged.