upstream/1.6+debian

Emmanuel Bourg

@ebourg

3e2900aa · Import Upstream version 1.6+debian · May 23, 2017

Upstream version 1.6+debian