mirror of
https://github.com/php/php-src.git
synced 2026-04-23 16:08:35 +02:00
17eaaea1f7
to config.w32 (Thanks to Frank for the report)
to config.w32 (Thanks to Frank for the report)