What’s the policy regarding when to close an issue? After the fix is merged to master? After a version with the fix is released?

IIUC, Racket has been doing the former, but some projects do the latter (e.g., Pyret — though we do apply the label “fixed” after the fix is merged to master), and I wonder about the pros and cons of each approach. In particular, could it be that the latter will reduce duplicate issues?

Asking this because I have been closing these dup issues three times already:

• https://github.com/racket/drracket/issues/470
• https://github.com/racket/drracket/issues/472
• https://github.com/racket/drracket/issues/479

I suggest the former because in my experience the latter means issues just get forgotten about in an open state