Merge pull request #14643 from lipnitsk/php7
authorMichael Heimpold <redacted>
Thu, 4 Feb 2021 23:11:18 +0000 (00:11 +0100)
committerGitHub <redacted>
Thu, 4 Feb 2021 23:11:18 +0000 (00:11 +0100)
lang/php7: Don't run phpize7 with QUILT


Trivial merge
git clone https://git.99rst.org/PROJECT