dev-lang/php: remove php-7.1.8 to fix CVE-2017-12932.
authorMichael Orlitzky <mjo@gentoo.org>
Sun, 3 Sep 2017 21:33:20 +0000 (17:33 -0400)
committerMichael Orlitzky <mjo@gentoo.org>
Sun, 3 Sep 2017 21:34:09 +0000 (17:34 -0400)
commit6190a9e9d5365b3555e61b602d7f62337bd37882
tree5c9d1fe462cb32225a74d9bc2c8fb29ecb0071ee
parent013e029fbbd3a42dbb2c90512af276ab28754769
dev-lang/php: remove php-7.1.8 to fix CVE-2017-12932.

Gentoo-Bug: 629452

Package-Manager: Portage-2.3.6, Repoman-2.3.1
dev-lang/php/Manifest
dev-lang/php/php-7.1.8.ebuild [deleted file]