Thank you, Charlie ; I am fully cognizant of the fact that this «is really a bug report». Moreover, I regard the problem I described above as a bug, quite similar to, if not identical with, the one reported by Jeff Lane two days ago. In any event, I have taken your advice and reported a new bug, #571893....
Henri -- [Lucid] no GRUB menu entry for other operating systems https://bugs.launchpad.net/bugs/570765 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs