Skip to content

Conversation

nielsdos
Copy link
Member

Is this useful to document? No idea.

Copy link
Member

@Girgias Girgias left a comment

Choose a reason for hiding this comment

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

I think, it is just for completeness.

@Girgias Girgias merged commit 0185cc3 into php:master Oct 24, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants