Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Release v5.1.0 #1531

Merged
merged 3 commits into from
Jul 7, 2023
Merged

Release v5.1.0 #1531

merged 3 commits into from
Jul 7, 2023

Conversation

rdeltour
Copy link
Member

@rdeltour rdeltour commented Jul 7, 2023

No description provided.

@rdeltour rdeltour added the status: in progress The issue is being implemented by the development team label Jul 7, 2023
@rdeltour rdeltour added this to the Next maintenance release milestone Jul 7, 2023
@rdeltour rdeltour self-assigned this Jul 7, 2023
@rdeltour rdeltour merged commit d895f66 into main Jul 7, 2023
4 checks passed
@rdeltour rdeltour deleted the release/v5.1.0 branch July 7, 2023 13:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
status: in progress The issue is being implemented by the development team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant