mirror of
https://github.com/php/php-src.git
synced 2026-04-04 14:42:49 +02:00
My git client (GitHub Desktop) decided to commit and push my staged changes, so arginfo generation was not done with the previous commit.
6.4 KiB
6.4 KiB