How to close an issue that won't happen?

Norman Ramsey nr at
Tue Oct 26 16:11:02 UTC 2021

Issue #20370 is not going to happen.  I have added a comment of explanation,
and it's time for me to close the issue.   What label, if any, should I
put on the issue to indicate that it describes a direction we've decided
not to pursue?


More information about the ghc-devs mailing list