Started 4 yr 0 mo ago
Took 11 min on amp-jenkins-worker-05

Success Build #3 (May 12, 2015 11:30:33 AM)

PR #12: Better default settings for...
No changes.

GitHub pull request #12 of commit 15afb6faa9e79c8a6968fc55eee49a5c55cc845f automatically merged.