Etienne Lorrain <[EMAIL PROTECTED]> writes: > Shall I enter that on Bugzillia or is that a known problem?
You should always enter it on bugzilla, if you cannot find this out
for yourself. We have highly trained professionals who will swiftly
close duplicate bug reports, and that way the report cannot get lost.
--
Falk
