Hi,

Since then, a duplicate bug report was filed (#1000908) and promptly
fixed in 2:3.3.17-6 ⇒ this bug report can now be closed :)

Cheers!

Reply via email to