Merge pull request #14672 from mhei/php8-quilt-optimize
authorMichael Heimpold <mhei@heimpold.de>
Sun, 7 Feb 2021 09:45:50 +0000 (10:45 +0100)
committerGitHub <noreply@github.com>
Sun, 7 Feb 2021 09:45:50 +0000 (10:45 +0100)
commitb1d49239115bbeedd0fdf3914164aa07124feda2
tree7633ab29ba91dabde80076cd57791d89d31818c9
parent35ff05d18df1895f08169cf0cf6d46b62e9bb3a5
parent8cb6bb35a6cbd43073b0107deb70f80c032ca0d4
Merge pull request #14672 from mhei/php8-quilt-optimize

php8: Don't run phpize8 with QUILT