Policy for closing fixed bugs

[Andrei Alexandrescu]

On 6/17/11 1:27 PM, David Nadlinger wrote:
> Do we have some generally agreed guidelines on when to close Bugzilla
> issues that have been fixed – directly after the commit went to Git
> master, or after the next released version? I'm asking because
> currently, both approaches seem to be used, and I'm wondering how I
> should handle my own bugs/patches.
>
> David

Just close when the pull request has been accepted.

Andrei