Richard Copley <rcopley@gmail.com> writes:

>> Should we close this bug report then?

> In my opinion, yes it should be closed. I'm not sure how bold I should be
> with control messages, as I have no particular standing in the community. I
> sometimes close and merge bugs that I reported. This one's not mine so I
> just tagged it.

I'm closing it then.  If needed, someone can reopen.

Nico