Skip to content

Bump lean v4.28.0 rc1#9

Merged
kencyke merged 3 commits intomainfrom
bump-v4.28.0-rc1
Mar 15, 2026
Merged

Bump lean v4.28.0 rc1#9
kencyke merged 3 commits intomainfrom
bump-v4.28.0-rc1

Conversation

@kencyke
Copy link
Owner

@kencyke kencyke commented Feb 11, 2026

No description provided.

@kencyke kencyke merged commit fcbc9f1 into main Mar 15, 2026
2 checks passed
@kencyke kencyke deleted the bump-v4.28.0-rc1 branch March 15, 2026 12:20
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