Hi, any chance the patch from [1] could be added to the Debian package?
Thanks, Adrian > [1] > https://gitlab.freedesktop.org/gnu-grub/grub/-/commit/aaaf5037887ea33394975f9e86360476bb6fa6f5 -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer `. `' Physicist `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913

