-- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
This bug is fixed, but you need to copy the new version from
/usr/share/readline/inputrc for it to take effect.