How to close an issue that won't happen?

Ben Gamari ben at
Tue Oct 26 16:27:48 UTC 2021

Norman Ramsey <nr at> writes:

> 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?
No need to add a label. Just close with a comment explaining the reason
for closure.


- Ben

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 905 bytes
Desc: not available
URL: <>

More information about the ghc-devs mailing list