Is cleaning up old issues worthwhile?
buhr at asaurus.net
Sat May 4 22:49:28 UTC 2019
Well, after going through a few of these, I realize that there's some
relevant Trac metadata (specifically, "Resolution" fields of
"ResolvedWorksForMe", "ResolvedFixed", etc.) for all of the ones I've
found. It looks like certain old bugs that were somehow "resolved" but
not "closed" in the old system came over as open tickets in GitLab. This
is maybe related to gitlab-migration issue #43. So, I'll stop now.
Kevin Buhr <buhr at asaurus.net>
More information about the ghc-devs