Bump Debian compat version to 12, using debhelper-compat approach
[grml-live.git] / debian / postinst
2018-12-13 Michael ProkopRework debian/, following current best practices