On Sun, Jul 09, 2017 at 05:29:26PM +0200, Hannes Schweizer wrote: > upstream bug: https://savannah.gnu.org/bugs/?48228 > Gentoo bug: https://bugs.gentoo.org/show_bug.cgi?id=581904
Thanks for providing the patch and listing bug ids. Though I would like to ask you to add full issue and fix description in the commit message. Daniel _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
