Hello all, for your information, I interpreted the sparse/terse comments of my first posting so as to incourage me to make my suggested patch available to the upstream maintainers. Such a message was sent to bug-grub@gnu.org just some minutes ago.
Regards Mats Erik Andersson -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]