Is cleaning up old issues worthwhile?

Matthew Pickering matthewtpickering at
Sat May 4 21:56:49 UTC 2019

I'm not sure the benefit of marking these tickets obsolete is. You may
as well just close them. Someone can reopen them if they disagree.

There could be some arguent for adding tests from these old tickets
but tbh they are so old that if the bug still exists there is probably
a newer ticket.

On Sat, May 4, 2019 at 10:31 PM Kevin Buhr <buhr at> wrote:
> Okay, I've added a new "obsolete" label:  "Old issues that no longer
> apply and are in a short waiting period before closing."  I'll start
> going through the low-hanging fruit adding comments and sticking this
> label on them, with the idea of going back and closing them after, say,
> 4 weeks with no complaints.  After I've gone through a few of these and
> gained some experience with it, I'll try to draft some guidelines for
> handling old tickets.
> Anyway, please let me know if this process starts to get irritating.
> --
> Kevin Buhr <buhr at>
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at

More information about the ghc-devs mailing list