The attached file is wrong, I have made a new bug report with the right
one.

Reply via email to