Skip to content

Fix nmod hash#374

Merged
oscarbenjamin merged 2 commits intoflintlib:mainfrom
ForeverHaibara:fix-nmod-hash
Mar 7, 2026
Merged

Fix nmod hash#374
oscarbenjamin merged 2 commits intoflintlib:mainfrom
ForeverHaibara:fix-nmod-hash

Conversation

@ForeverHaibara
Copy link
Contributor

Fixes #373, a bug in nmod.__hash__.

@oscarbenjamin
Copy link
Collaborator

This looks good. Thanks.

Can you add a release note in the README and add yourself as an author there?

@ForeverHaibara
Copy link
Contributor Author

Done! Is it okay to use my GitHub username in the author list? If there is no problem, I am happy to get this merged.

@oscarbenjamin
Copy link
Collaborator

You can use whatever name you prefer.

@ForeverHaibara
Copy link
Contributor Author

Then it is ready now.

@oscarbenjamin
Copy link
Collaborator

Thanks!

@oscarbenjamin oscarbenjamin merged commit 2da28fe into flintlib:main Mar 7, 2026
81 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Bug in nmod hash

2 participants