I do not think that this is a bug any more;
I believe that it must be closed.

Reply via email to