projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 043498c) | patch
dev-lang/php: ppc stable wrt bug #693810
authorAgostino Sarubbo <ago@gentoo.org>
Fri, 13 Sep 2019 12:00:21 +0000 (14:00 +0200)
committerAgostino Sarubbo <ago@gentoo.org>
Fri, 13 Sep 2019 12:00:21 +0000 (14:00 +0200)
commit66d4c699d029acf808cb5da4a64b5cac516eb4b5
tree536bda3295b508467e2cc31ff3419d489918222etree | snapshot
parent043498c500bdb99a305d1a9ec1926360f42634cecommit | diff
dev-lang/php: ppc stable wrt bug #693810

Package-Manager: Portage-2.3.69, Repoman-2.3.16
RepoMan-Options: --include-arches="ppc"
Signed-off-by: Agostino Sarubbo <ago@gentoo.org>
dev-lang/php/php-7.1.32.ebuild diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.