mirror of
https://github.com/php/php-src.git
synced 2026-03-26 17:22:15 +01:00
Making build system changes according to proposal: http://news.php.net/article.php?group=php.dev&article=92682
Making build system changes according to proposal: http://news.php.net/article.php?group=php.dev&article=92682