Started 5 yr 1 mo ago
Took 14 min

Success Build #19 (Aug 10, 2016 7:34:08 PM)

PR #14: add jenkins badge
No changes.

GitHub pull request #14 of commit b4c67ab269a8575f6fc8b29bba3b3427bb068bf6, no merge conflicts.