Learn more about these different git repos.
Other Git URLs
When an issue is closed an email should be generated to let subscribes know.
Commit b32a293 fixes this issue
@pingou changed the status to Closed
Closed
Log in to comment on this ticket.