Closed erikd closed 1 month ago
PR has been merged: https://github.com/qfpl/tasty-hedgehog/pull/77
Have DMed maintainer (in Slack channel we are both in).
Has not yet been fixed on Hackage.
Updated on Hackage with a metadata revision.
Confirmed!
PR has been merged: https://github.com/qfpl/tasty-hedgehog/pull/77
Have DMed maintainer (in Slack channel we are both in).
Has not yet been fixed on Hackage.