mirror of
https://github.com/php/php-src.git
synced 2026-04-04 06:32:49 +02:00
This reverts commit 5e15c9c41f, since
re2c default rules are only available as of re2c 0.13.7.
This reverts commit 5e15c9c41f, since
re2c default rules are only available as of re2c 0.13.7.