Avoid custom boot options getting duplicated when used with multiple ISOs
[grml2usb.git] / debian / compat
1 10