debian/4.2.0-1

Mathias Behrle

@mbehrle

4255b3b3 · Releasing debian version 4.2.0-1. · Dec 06, 2016

Tagging debian version 4.2.0-1.