Skip to content

chore: bump to v4.28.0#140

Merged
grunweg merged 1 commit into
leanprover-community:masterfrom
Ruben-VandeVelde:bump-28
Feb 18, 2026
Merged

chore: bump to v4.28.0#140
grunweg merged 1 commit into
leanprover-community:masterfrom
Ruben-VandeVelde:bump-28

Conversation

@Ruben-VandeVelde

Copy link
Copy Markdown
Contributor

No description provided.

@grunweg

grunweg commented Feb 18, 2026

Copy link
Copy Markdown
Collaborator

Thanks!

@grunweg grunweg merged commit 5b63797 into leanprover-community:master Feb 18, 2026
1 check passed
@Ruben-VandeVelde Ruben-VandeVelde deleted the bump-28 branch February 19, 2026 10:28
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.

2 participants