dev-php/jsonlint: bump to v1.7.2
authorThomas Deutschmann <whissi@gentoo.org>
Sun, 17 Nov 2019 20:44:26 +0000 (21:44 +0100)
committerThomas Deutschmann <whissi@gentoo.org>
Sun, 17 Nov 2019 21:01:27 +0000 (22:01 +0100)
commit324eb009b835fb36952c4d3925ebcd9ae2da886a
tree4783b06a8e93e636fe62fc228b546e779963b4ec
parent481f0aa8b4b2c477e5e76b26daeda094f3212e3f
dev-php/jsonlint: bump to v1.7.2

Package-Manager: Portage-2.3.79, Repoman-2.3.18
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
dev-php/jsonlint/Manifest
dev-php/jsonlint/jsonlint-1.7.2.ebuild [new file with mode: 0644]