merge 414615 497598 thanks The symptoms are the same as those for #414615; merging the two bugs. (This means the bug was already present in 4.0.1).
-- Ludovic Brenta. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
