Skip to content

Conversation

@andrew-platt
Copy link
Collaborator

Ready to merge

Feature or improvement description
Accidentally merged #2883 to dev instead of rc-4.1.1. Cross merging now is simpler than redoing anything with that PR.

Related issue, if one exists
#2883

@andrew-platt andrew-platt self-assigned this Jun 24, 2025
@andrew-platt andrew-platt merged commit 07fe429 into rc-4.1.1 Jun 24, 2025
29 checks passed
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