I attempted to consult GRUB maintainers as to whether this could be a
GRUB bug, but cannot post to the list as a non-subscriber. Until this
is fixed, I will reassign bugs to grub without consultation.
Ben.
--
Ben Hutchings
The generation of random numbers is too important to be left to chance.
- Robert Coveyou
Attachment:
signature.asc
Description: This is a digitally signed message part