mirror of
https://github.com/php/php-src.git
synced 2026-04-21 06:51:18 +02:00
4b860c06ed
This reverts commit e2361498d5.
Ooops, this occurs normally during some tests, but I didn't notice
because I have slow tests disabled...