Started 4 yr 9 mo ago
Took 49 sec on amp-jenkins-worker-03

Success Build #19 (Jan 8, 2016 6:31:08 PM)

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

GitHub pull request #76 of commit cad43acd6647aad5fb10a30c82d8415d41aaa6ac automatically merged.