found 486119 1.96+20080621-1 thanks I'm sorry. I had to revert the fix for this, because it caused more serious problems (see #486804).
I don't want to clutter the UI with an option that is just meant to work around the real problem: UUID search in GRUB is too slow. I'll fix the real problem instead, when I find some time. -- Robert Millan <GPLv2> I know my rights; I want my phone call! <DRM> What good is a phone call… if you are unable to speak? (as seen on /.) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
