upstream/1.0_20150714

Emmanuel Bourg

@ebourg

9558509d · Imported Upstream version 1.0~20150714 · Oct 27, 2015

Upstream version 1.0~20150714