Thanks. I had though already closed it by emailing to the -done address in my last email. 

I even received a bug-closing confirmation after that. 

Is it that the bug got reopened automatically when Tino merged it with another bug, and so it had to be re-closed?

--