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