debian/4.0.12-1

Mathias Behrle

@mbehrle

673b2f4e · Releasing debian version 4.0.12-1. · Nov 11, 2017

Tagging debian version 4.0.12-1.