On 09/06/2010 23:58, Colin Watson wrote: > There is already a separate grave bug (#554790) which will be fixed by > using /dev/disk/by-id/ in grub-pc/install_devices. Is your bug a > duplicate of that one, or are you going further?
It is a duplicate. I missed it when I reported this one. Sorry. Any idea when the proposed patch will be applied ? Regards, Vincent -- Vincent Danjean Adresse: Laboratoire d'Informatique de Grenoble Téléphone: +33 4 76 61 20 11 ENSIMAG - antenne de Montbonnot Fax: +33 4 76 61 20 99 ZIRST 51, avenue Jean Kuntzmann Email: vincent.danj...@imag.fr 38330 Montbonnot Saint Martin -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org