Skip to content

Conversation

@skirpichev
Copy link
Member

No description provided.

@skirpichev skirpichev added this to the 0.5 milestone Feb 3, 2026
@skirpichev skirpichev enabled auto-merge February 3, 2026 05:59
@skirpichev skirpichev merged commit 4472917 into diofant:master Feb 3, 2026
13 checks passed
@skirpichev skirpichev deleted the fix-richcmp branch February 3, 2026 07:34
@github-actions
Copy link

github-actions bot commented Feb 3, 2026

💚 All backports created successfully

Status Branch Result
gmp-0.4.x

Questions ?

Please refer to the Backport tool documentation and see the Github Action logs for details

skirpichev added a commit that referenced this pull request Feb 3, 2026
[gmp-0.4.x] Merge pull request #310 from skirpichev/fix-richcmp
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant