Skip to content

Conversation

@DanielEScherzer
Copy link
Member

@DanielEScherzer DanielEScherzer marked this pull request as ready for review June 8, 2025 20:00
@edorian
Copy link
Member

edorian commented Jun 9, 2025

Matches my understanding from what we discussed in the 8.5 RM kick-off meeting. 👍

@DanielEScherzer DanielEScherzer merged commit e118147 into php:master Jun 9, 2025
3 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