Skip to content

Conversation

@henryiii
Copy link
Collaborator

@henryiii henryiii commented May 27, 2024

Description

Follow up to comment on #5127.

Suggested changelog entry:

@henryiii henryiii merged commit ce08e37 into master May 27, 2024
@henryiii henryiii deleted the henryiii-patch-3 branch May 27, 2024 19:03
@github-actions github-actions bot added the needs changelog Possibly needs a changelog entry label May 27, 2024
@henryiii henryiii removed the needs changelog Possibly needs a changelog entry label Jun 23, 2024
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.

3 participants