Hi. The upgrade was probably a coincidence, as a return to the previous verion did not solve the problem. [But a restart of the server did.]
Sorry for the noise, Gilles -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]

