-
Notifications
You must be signed in to change notification settings - Fork 0
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Improve Semigroup
instance
#2
Comments
Ping @chris-martin. |
Hi! Yes sorry I forgot all about this. Will resubmit the PR. I do still use the |
@chris-martin Thanks for helping out with maintenance! When you make releases, please stick to the current changelog format: Lines 1 to 8 in 092dd89
By this I mean that the changelog entry should contain, besides more substantial information,
It is a bit unfortunate that the previous maintainer @chrisdone archived his repo instead of transferring it, so we do not have continuity in issue numbers. This repo should be unforked at some point, but it could also be moved from my private account to a suitable organization. |
@chris-martin has done unmerged work on the
Semigroup
instance, see@chris-martin : Do you want to port your PR to this repo? Do you want to co-maintain
ini
?The text was updated successfully, but these errors were encountered: