Started 3 yr 7 mo ago
Took 25 sec on amp-jenkins-worker-07

Failed Build #20 (Jan 11, 2016 10:41:11 PM)

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

GitHub pull request #76 of commit 9fb93c6b3957fcf4fd917ac296458d74b336ac24 automatically merged.