[Merge] ~ubuntu-core-dev/grub/+git/ubuntu:lp.1800722 into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu

[Steve Langasek]

Steve Langasek has proposed merging ~ubuntu-core-dev/grub/+git/ubuntu:lp.1800722 into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.

Requested reviews:
  Mathieu Trudel-Lapierre (cyphermox)

For more details, see:
https://code.launchpad.net/~ubuntu-core-dev/grub/+git/ubuntu/+merge/358051
-- 
Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.