I see in a Debian news blurb that update-grub will use UUID automatically. So some parts of the grub world are quite advanced. But one would never know about it just reading the document this bug is about.
-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]