Started 2 yr 11 mo ago
Took 4 sec on master

Success Build #257 (Apr 21, 2017 11:00:04 AM)

Changes
  1. Add GC support for 'elems' (commit: 8f86b40) (details / githubweb)
  2. Add GC support for 'inds' (commit: 74b0bff) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 74b0bff39c033b055c950ca02874fdf4ecdb0328
  • refs/remotes/origin/development