Skip to content

Conversation

@rwgk
Copy link
Collaborator

@rwgk rwgk commented Sep 13, 2024

Description

To be merged after both PR #5368 and PR #5370 are merged.

Suggested changelog entry:

@rwgk
Copy link
Collaborator Author

rwgk commented Sep 13, 2024

Dropping in favor of #5372. Thanks @henryiii!

@rwgk rwgk closed this Sep 13, 2024
@rwgk rwgk deleted the v2_11_2_v2_12_1_changelog_additions branch September 13, 2024 21:56
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