> PS. I guess it is safe to close the bug 3377.

Done.

regards uwe

Reply via email to