[Merge] ~ubuntu-core-dev/grub/+git/ubuntu:focal-devel into ~ubuntu-core-dev/grub/+git/ubuntu:focal

[Dimitri John Ledkov]

Dimitri John Ledkov has proposed merging ~ubuntu-core-dev/grub/+git/ubuntu:focal-devel into ~ubuntu-core-dev/grub/+git/ubuntu:focal.

Requested reviews:
  Julian Andres Klode (juliank)

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