Re: Policy for closing fixed bugs

[David Nadlinger]

On 6/17/11 9:11 PM, Andrei Alexandrescu wrote:

Just close when the pull request has been accepted.

Andrei

Sean, you might want to chime in on this then:
http://d.puremagic.com/issues/show_bug.cgi?id=6135

David