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

[Julian Andres Klode]

Julian Andres Klode has proposed merging ~ubuntu-core-dev/grub/+git/ubuntu:focal13 into ~ubuntu-core-dev/grub/+git/ubuntu:focal.

Requested reviews:
  Ubuntu Core Development Team (ubuntu-core-dev)

For more details, see:
https://code.launchpad.net/~ubuntu-core-dev/grub/+git/ubuntu/+merge/407002
-- 
The attached diff has been truncated due to its size.
Your team Ubuntu Core Development Team is requested to review the proposed merge of ~ubuntu-core-dev/grub/+git/ubuntu:focal13 into ~ubuntu-core-dev/grub/+git/ubuntu:focal.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: review-diff.txt
Type: text/x-diff
Size: 524288 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-reviews/attachments/20210812/0bfc1d27/attachment-0001.diff>