Skip to content

Conversation

DanielEScherzer
Copy link
Member

There was a whole RFC about this, but the implementation in #6878 seems to have missed updating the documentation

There was a whole RFC about this, but the implementation in php#6878 seems to have
missed updating the documentation
@DanielEScherzer
Copy link
Member Author

CC @kocsismate - follow-up to your RFC implementation

@iluuu1994 iluuu1994 merged commit e1f7197 into php:master Sep 5, 2024
8 of 10 checks passed
@DanielEScherzer DanielEScherzer deleted the patch-2 branch September 5, 2024 17:22
@DanielEScherzer
Copy link
Member Author

Well that was fast :)

@iluuu1994
Copy link
Member

Thank you @DanielEScherzer!

@kocsismate
Copy link
Member

@DanielEScherzer Yes, thanks for catching this!

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