Do we have a patch to make this consistent?
no, not yet. It's topic for discussion and ToDo Regards Pavel Stehule ---------------------------(end of broadcast)--------------------------- TIP 1: if posting/reading through Usenet, please send an appropriate subscribe-nomail command to [EMAIL PROTECTED] so that your message can get through to the mailing list cleanly