mirror of
https://github.com/php/php-src.git
synced 2026-03-26 17:22:15 +01:00
There were 4 different reports of this breaking behavior. This is higher than I expected. This bug fix may still be desirable, but should be discussed on the list beforehand. Closes GH-12127