debian/20171027-2

Antonio Radici

@antonio

562fdbb3 · cutting the release, we will see if it builds with autosetup everywhere · Nov 25, 2017

Debian release debian/20171027-2