Your patch is entirely correct, but the thing is that it had already
been applied in the version you quoted! See bug 478035.
I think what must have happened is that you had some other local change
to that file and perhaps didn't notice dpkg's conffile prompt, or didn't
merge that particular change. Since you have it fixed now, and I know
it's fixed in the package, I'm just going to close the bug. Thanks
anyway.
** Changed in: grub2 (Ubuntu)
Status: New => Fix Released
--
grub cannot read /boot/grub/grubenv
https://bugs.launchpad.net/bugs/573588
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
