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

Attachment: signature.asc
Description: This is a digitally signed message part

Reply via email to