Found the bug after a couple of hours digging. Quite serious. Patch provided.
Trivial but extremely irritating none the less.

Vladimir: Please apply.

Regards,
Christian

Attachment: usb_hub_ports_20130902.patch
Description: usb_hub_ports_20130902.patch

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to