mirror of
https://github.com/php/php-src.git
synced 2026-04-22 15:38:49 +02:00
a986933dde
This is a temporary measure until the current issues[1] are resolved. [1] <https://github.com/php/php-src/commit/0e1e991a89528b571a0271a3f24f9d3c2c36e23a#commitcomment-40805659>