Started 2 yr 8 mo ago
Took 14 sec on master

Success Build #322 (Jul 20, 2017 4:17:23 PM)

Changes
  1. Guard against non-existing super headers (commit: c075ad0) (details / githubweb)

Started by GitHub push by peterwvj

Revision: c075ad0a2232c9b7e86022bbd6541835188254c0
  • refs/remotes/origin/development