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

[Steve Langasek]

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

Requested reviews:
  Mathieu Trudel-Lapierre (cyphermox)
  Julian Andres Klode (juliank)

For more details, see:
https://code.launchpad.net/~ubuntu-core-dev/grub/+git/ubuntu/+merge/355904
-- 
Your team Ubuntu Core Development Team is subscribed to branch ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: review-diff.txt
Type: text/x-diff
Size: 994 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-reviews/attachments/20181001/de47764d/attachment.diff>