mirror of
https://github.com/php/php-src.git
synced 2026-03-24 08:12:21 +01:00
My git client (GitHub Desktop) decided to commit and push my staged changes, so arginfo generation was not done with the previous commit.
My git client (GitHub Desktop) decided to commit and push my staged changes, so arginfo generation was not done with the previous commit.