On 17.05.2015 10:14, Andrei Borzenkov wrote: > Anyway, Sebastian, thanks for report; could you open bug report so it is > not lost?
I opened a ticket at https://savannah.gnu.org/bugs/?45163 now. Best, Sebastian _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel
