I got informed by Mike Frysinger that this bug has been fixed upstream. See http://lists.nongnu.org/archive/html/bug-bash/2006-02/msg00015.html for a patch.
Jan -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]