dev-lang/php: Version bump for 7.2.31
authorBrian Evans <grknight@gentoo.org>
Thu, 14 May 2020 18:16:51 +0000 (14:16 -0400)
committerBrian Evans <grknight@gentoo.org>
Thu, 14 May 2020 18:16:51 +0000 (14:16 -0400)
commit7dfe9d46952ce152993d7232c693c89043296eee
tree4ddd3383244481a0388dacc24c1802bc576d5407
parent3c1d6fc79660d80974609b90e6c6a5b6abd0b406
dev-lang/php: Version bump for 7.2.31

Signed-off-by: Brian Evans <grknight@gentoo.org>
dev-lang/php/Manifest
dev-lang/php/php-7.2.31.ebuild [new file with mode: 0644]