On Tue, Apr 15, 2025 at 10:56:58PM +0000, Vladimir Serbinenko wrote: > Signed-off-by: Vladimir Serbinenko <phco...@gmail.com>
I think this patch should go to, e.g., grub-core/lib/misc-patches and be applied by autogen as other patches. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel