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
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to