Andrei Borzenkov wrote: >If you want to discuss a problem on development list, > you should at least verify if this problem exists in current code.
In my defense, I did do a git pull before posting and attempted to look at the latest code. Apparently, however, I somehow inadvertently looked at the wrong copy of the file (I have several copies of GRUB hanging around) and missed the fact this was fixed exactly as I thought it should be. My apologies for not double-checking and for wasting everyone's time. Thanks for the responses. _______________________________________________ Grub-devel mailing list Grub-devel@gnu.org https://lists.gnu.org/mailman/listinfo/grub-devel