Merge pull request #14659 from mhei/php8-update
authorMichael Heimpold <redacted>
Fri, 5 Feb 2021 18:20:54 +0000 (19:20 +0100)
committerGitHub <redacted>
Fri, 5 Feb 2021 18:20:54 +0000 (19:20 +0100)
commit4f20c737cb1abfaa2966de0a670ac81f371d1b1a
treeede454b8efcca5651c421d062dce8efcee8eb290
parent43140d77ee62fb1685c6409862cd1cf5fd440826
parent0b531c4ec01f7e3a3255df7cfe6d1db12426dd7b
Merge pull request #14659 from mhei/php8-update

php8: update to 8.0.2
lang/php8/Makefile
git clone https://git.99rst.org/PROJECT