The patch seems to be in the target branch, so marking as merged. -- https://code.launchpad.net/~mwhudson/grub/+git/ubuntu/+merge/370971 Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.