Closed Bodigrim closed 1 year ago
@aravindgopall just a gentle reminder.
Why was this closed? Seems like it would still be a useful addition.
It's closed because I deleted my fork. I'm not interested to pursue this PR any longer (even while it would still be a useful addition).
Data.Pool.destroyAllResources
is not available earlier.As a Hackage trustee I made appropriate revisions.