Started 5 yr 9 mo ago
Took 14 min

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.