Skip to content
New issue

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

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

Already on GitHub? # to your account

version 5.0.13 #632

Merged
merged 1 commit into from
Jun 20, 2024
Merged

version 5.0.13 #632

merged 1 commit into from
Jun 20, 2024

Conversation

niccokunzmann
Copy link
Member

as described in #630

@niccokunzmann niccokunzmann merged commit f97722e into collective:master Jun 20, 2024
13 checks passed
@niccokunzmann niccokunzmann deleted the release branch June 20, 2024 13:11
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant