Skip to content

feat: bump to 4.34.0 and corresponding mathlib - #152

Merged
grunweg merged 1 commit into
masterfrom
bump-434
Sep 25, 2026
Merged

grunweg merged 1 commit into
masterfrom
bump-434

Conversation

@grunweg

@grunweg grunweg commented Sep 25, 2026

Copy link
Copy Markdown
Collaborator

No description provided.

@grunweg
grunweg merged commit 9c53f91 into master Sep 25, 2026
1 check failed
@grunweg
grunweg deleted the bump-434 branch September 25, 2026 08:15
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.

1 participant