Skip to content

Patch release May 2025#28

Merged
amercader merged 2 commits intomasterfrom
patch-releases-may-2025
May 7, 2025
Merged

Patch release May 2025#28
amercader merged 2 commits intomasterfrom
patch-releases-may-2025

Conversation

@amercader
Copy link
Copy Markdown
Member

Just building the release branches for now before creating the tags to make sure they build fine.

@amercader amercader marked this pull request as ready for review May 7, 2025 11:02
@amercader amercader merged commit 6089f8f into master May 7, 2025
5 checks passed
@amercader amercader deleted the patch-releases-may-2025 branch May 7, 2025 11:03
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