Thanks, I've merged your branch now. The only changes I made were to fix
up some tab/space desynchronisation in update-grub and to add a
debian/changelog entry.
** Changed in: grub (Ubuntu)
Status: Confirmed => Fix Committed
** Changed in: grub (Ubuntu)
Assignee: (unassigned) => Colin Watson (cjwatson)
--
Splash image not shown when using device UUID as root
https://bugs.launchpad.net/bugs/347790
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs