dev-lang/php: bump to v7.2.20
authorThomas Deutschmann <whissi@gentoo.org>
Wed, 3 Jul 2019 10:45:04 +0000 (12:45 +0200)
committerThomas Deutschmann <whissi@gentoo.org>
Wed, 3 Jul 2019 10:45:04 +0000 (12:45 +0200)
commitc5a1868806508926aa4c4a62517e416507d01e60
tree3e491ae48adfa174daa212bf4820479a4d9cf300
parentc0f7ad4aebd54b35755558dab13351adfad6928d
dev-lang/php: bump to v7.2.20

Package-Manager: Portage-2.3.68, Repoman-2.3.16
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
dev-lang/php/Manifest
dev-lang/php/php-7.2.20.ebuild [new file with mode: 0644]