mirror of
https://github.com/php/php-src.git
synced 2026-04-25 08:58:28 +02:00
7defa7e883
Otherwise the bug tracker and test failure reporting will not work as intended (and maybe there are even more issues).