mirror of
https://github.com/php/php-src.git
synced 2026-04-25 17:08:14 +02:00
bc6979b79e
This reverts commit 8641d76f62.
This appears to work again now...