mirror of
https://github.com/php/php-src.git
synced 2026-04-18 21:41:22 +02:00
The better solution would be to actually use different directory names, but adding respective CONFLICTS sections solves the issue for now.
The better solution would be to actually use different directory names, but adding respective CONFLICTS sections solves the issue for now.