> What bug # are you talking about, I'll try to fix it this week-end if
nobody has taken care of it by that time.

The bug # is 43943. It seems Philip recently took care of it. Thanks to both
of you for checking into it.

-Wil

Reply via email to