Skip to content

Conversation

mumoshu
Copy link
Collaborator

@mumoshu mumoshu commented Jan 27, 2024

Once this gets merged, I will tag it and push, so that the release process starts.

Once this gets merged, I will tag it and push, so that the release process starts.
@mumoshu mumoshu merged commit 38b0206 into master Jan 27, 2024
@mumoshu mumoshu deleted the bump-to-3.9.3 branch January 27, 2024 01:30
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