debian/4.2.12-1

Mathias Behrle

@mbehrle

86d0fcc3 · Releasing debian version 4.2.12-1. · Jun 14, 2018

Tagging debian version 4.2.12-1.