Skip to content

Conversation

@seisman
Copy link
Member

@seisman seisman commented Jun 17, 2024

Patches #3244.

@seisman seisman added maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog labels Jun 17, 2024
@seisman seisman added this to the 0.13.0 milestone Jun 17, 2024
@seisman seisman merged commit 3779eca into main Jun 17, 2024
@seisman seisman deleted the fix-typo branch June 17, 2024 07:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

maintenance Boring but important stuff for the core devs skip-changelog Skip adding Pull Request to changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants