Hi! I posted a patch for this on Feb. 17. Just a reminder, in case you comitters are busy and have overlooked it... :-)
Harald --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
