Started 4 yr 9 mo ago
Took 21 sec on amp-jenkins-worker-01

Failed Build #87 (Apr 17, 2015 11:57:09 AM)

PR #71: Fixing bottleneck in Index
No changes.

GitHub pull request #71 of commit a08be4a8b069a8791026b12b48c50a1cef5f971f automatically merged.