Secure Boot: update grubx64.efi.signed to fix BootHole issue
[grml-live.git] / debian / postinst
2018-12-13 Michael ProkopRework debian/, following current best practices