Merged patch for bug 1878541 -- https://code.launchpad.net/~juliank/grub/+git/ubuntu/+merge/385358 Your team Ubuntu Core Development Team is requested to review the proposed merge of ~juliank/grub/+git/ubuntu:ubuntu into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.