Sorry, it helps if I quilt push the patch. Retrying... -- https://code.launchpad.net/~xypron/grub/+git/grub/+merge/419407 Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.