On 10/10/2015 03:03 AM, Andrei Borzenkov wrote:
ping?
Oops sorry forgot to tell you this patch worked as well. Thanks, Josef _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
