On Sun, 2014-11-09 at 09:29 +0100, Daniel Baumann wrote: > yes; it doesn't matter if they were modified or not, the machines are > bricked when the files are removed :(
Ok, wontfix seems like the right answer here then. I'll remove the files manually since the system boots via grub anyway, not sure why extlinux was installed really. -- bye, pabs https://wiki.debian.org/PaulWise
signature.asc
Description: This is a digitally signed message part