Sorry, I got the package name wrong when submitting the bug report.
I've created a new bug report with the correct package name, please close
this one.

Best regards,
Ricardo

Reply via email to