Bug#426095:

[Ivan Shmakov]

       Oops.  Sorry for a duplicate bug report.  It could be safely
       merged with #418747.


--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]