v8.7.0
gaudenz@jgraph.com
f63fbbeb
·
8.7.0 release
·
May 31, 2018
v8.7.0
