Skip to content

Conversation

kamil-tekiela
Copy link
Member

@nikic You seem to have fixed it yesterday. Test case updated to reflect your bug fix.

@php-pulls php-pulls closed this in 54a63d9 Dec 11, 2020
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.

1 participant