dev-php/ming-php: add PHP 7.3 support
authorThomas Deutschmann <whissi@gentoo.org>
Fri, 7 Jun 2019 13:23:16 +0000 (15:23 +0200)
committerThomas Deutschmann <whissi@gentoo.org>
Fri, 7 Jun 2019 14:08:07 +0000 (16:08 +0200)
commita32ed97e59703c5054c093d1208ff1b9b56dab70
tree0c52060e027ebdd28efe62035b584f9599ccede8
parent57caad9ccb3a216681b0e7eb33d0f9f20aa84495
dev-php/ming-php: add PHP 7.3 support

Package-Manager: Portage-2.3.67, Repoman-2.3.14
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
dev-php/ming-php/ming-php-0.4.8.ebuild