ok, I've committed this change to the grub repository - it's trivial either way, so not worth the trouble of arguing. ;)
** Changed in: grub (Ubuntu)
Status: Confirmed => Fix Committed
--
update-grub fails on kernel install or remove
https://bugs.launchpad.net/bugs/155423
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
