projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9f880f) | patch
dev-lang/php: bump to v7.2.12
authorThomas Deutschmann <whissi@gentoo.org>
Mon, 12 Nov 2018 00:15:16 +0000 (01:15 +0100)
committerThomas Deutschmann <whissi@gentoo.org>
Mon, 12 Nov 2018 00:15:16 +0000 (01:15 +0100)
commit5083af08895d0ced832430198e18027fc94eb47a
treec949523b152f47b4041efae34b258238c2810d49tree | snapshot
parentb9f880ff9bb61c6452ed594a06041d8bf1935fe0commit | diff
dev-lang/php: bump to v7.2.12

Package-Manager: Portage-2.3.51, Repoman-2.3.12
Signed-off-by: Thomas Deutschmann <whissi@gentoo.org>
dev-lang/php/Manifest diff | blob | history
dev-lang/php/php-7.2.12.ebuild [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.