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

[Mate Kukri]

Mate Kukri has proposed merging ~mkukri/grub:ubuntu into ~ubuntu-core-dev/grub/+git/ubuntu:ubuntu.

Requested reviews:
  Julian Andres Klode (juliank)
Related bugs:
  Bug #2045944 in grub2 (Ubuntu): "all ubuntu-server preinstalled image builds fail with grub2 2.12~rc1-12ubuntu3"
  https://bugs.launchpad.net/ubuntu/+source/grub2/+bug/2045944

For more details, see:
https://code.launchpad.net/~mkukri/grub/+git/grub/+merge/457138
-- 
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: 3171 bytes
Desc: not available
URL: <https://lists.ubuntu.com/archives/ubuntu-reviews/attachments/20231208/9e4735c9/attachment.diff>