Started 3 yr 3 mo ago
Took 32 sec on amp-jenkins-worker-01

Failed Build #99 (Apr 25, 2016 2:37:15 PM)

PR #81: Changed Index to use Debrui...
No changes.

GitHub pull request #81 of commit aabc5dc1c64b7ec761f308ec1234c53d3b7d0635 automatically merged.