Skip to content

Conversation

@ndossche
Copy link
Member

This is a local patch I used to figure out why it didn't work on my machine. Without the error codes: good luck to figure out what's wrong.

This is a local patch I used to figure out why it didn't work on my
machine. Without the error codes: good luck to figure out what's wrong.
@ndossche ndossche merged commit 3165456 into php:master May 24, 2024
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.

2 participants