Closed erikd closed 3 months ago
This package is causing CI failure (for ghc-9.10
) of another package: https://github.com/size-based/size-based/pull/2 .
No response from maintainer yet.
@erikd I assume you have enough rights to make a revision yourself?..
@Bodigrim I do and I know how to do it. Should I just go ahead and do it?
I think you've done more than enough to urge the maintainer, it's fine to go ahead yourself.
Hackage metadata edit done.
@erikd for packages with inactive maintainers (e. g., no or very occasional GitHub activity), I'd often make a revision shortly after raising a PR.
PR is https://github.com/JonasDuregard/dictionary-sharing/pull/3
Have sent email to the maintainer.