Skip to content

Split libzz submodule#252

Merged
skirpichev merged 1 commit intodiofant:masterfrom
skirpichev:split-zz-submodule/226
Aug 29, 2025
Merged

Split libzz submodule#252
skirpichev merged 1 commit intodiofant:masterfrom
skirpichev:split-zz-submodule/226

Conversation

@skirpichev
Copy link
Copy Markdown
Member

Closes #226

@skirpichev skirpichev force-pushed the split-zz-submodule/226 branch from ab45b8f to 89f1ef1 Compare August 29, 2025 09:19
@skirpichev skirpichev force-pushed the split-zz-submodule/226 branch from 89f1ef1 to 75c1cda Compare August 29, 2025 09:35
@skirpichev skirpichev enabled auto-merge August 29, 2025 09:37
@skirpichev skirpichev merged commit 8c0e217 into diofant:master Aug 29, 2025
19 checks passed
@skirpichev skirpichev deleted the split-zz-submodule/226 branch August 29, 2025 09:56
@skirpichev skirpichev added this to the 0.4 milestone Feb 4, 2026
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.

Make a separate libzz

1 participant