Skip to content

Conversation

@DanielEScherzer
Copy link
Member

@DanielEScherzer
Copy link
Member Author

To avoid merge conflicts, NEWS/UPGRADING will be sent once this is approved

@TimWolla
Copy link
Member

To avoid merge conflicts, NEWS/UPGRADING will be sent once this is approved

Might be easiest to just do this in bulk as a separate commit afterwards.

@TimWolla TimWolla added the RFC label Aug 12, 2025
@Girgias Girgias merged commit 3dc962b into php:master Aug 12, 2025
9 checks passed
@DanielEScherzer DanielEScherzer deleted the debugInfo-null branch August 12, 2025 11:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants