Skip to content

Conversation

@nielsdos
Copy link
Member

@nielsdos nielsdos commented May 4, 2025

No description provided.

@nielsdos nielsdos requested a review from arnaud-lb May 4, 2025 10:40
Copy link
Member

@iluuu1994 iluuu1994 left a comment

Choose a reason for hiding this comment

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

Looks correct to me, thanks for taking care of this!

@nielsdos
Copy link
Member Author

nielsdos commented May 4, 2025

Let's merge this then, we'll see if this makes the fuzz build green (unless they only pull daily?)

@nielsdos nielsdos merged commit 4152ca5 into php:master May 4, 2025
9 checks passed
@arnaud-lb
Copy link
Member

Thank you @nielsdos!

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