See http://git.savannah.gnu.org/cgit/grub.git/commit/?id=206676601eb853fc319df14cd3398fbdfde665ac

I was not even aware that this is possible. Is there anything on server side that can prevent it?

Would be good if commit were amended and force pushed to fix it.

_______________________________________________
Grub-devel mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to