upstream/1.0-beta-10

Emmanuel Bourg

@ebourg

d6d242b2 · New upstream version 1.0-beta-10 · Aug 30, 2017

Upstream version 1.0-beta-10