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

Failed Build #98 (Mar 12, 2016 9:07:12 PM)

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

GitHub pull request #81 of commit aabc5dc1c64b7ec761f308ec1234c53d3b7d0635 automatically merged.