Skip to content

Conversation

andrewnester
Copy link
Contributor

@krakjoe krakjoe added the Bug label May 10, 2018
@weltling
Copy link
Contributor

@cmb69, @smalyshev not sure about 7.2, as it can break some CI. But otherwise, would it be ok with you for 7.3?

Thanks.

@smalyshev
Copy link
Contributor

Sounds fine to me.

@weltling
Copy link
Contributor

Merged as ef9ed19. Thanks!

@weltling weltling closed this Jun 28, 2018
@bytestream
Copy link

Sorry for jumping on an old thread, but is this https://3v4l.org/gnAO7 related?

@cmb69
Copy link
Member

cmb69 commented Nov 28, 2019

Likely more to https://bugs.php.net/76738. Anyhow, if you think that is a bug, please report at https://bugs.php.net/. Thanks.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants