Skip to content

Conversation

@DanielEScherzer
Copy link
Member

Copy link
Member

@ndossche ndossche left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Right, I missed this.
Thanks!

@DanielEScherzer DanielEScherzer merged commit a0b1433 into php:master Dec 27, 2025
2 checks passed
@DanielEScherzer DanielEScherzer deleted the fix-codeowners branch December 27, 2025 00:26
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.

2 participants