projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8410019) | patch
php7: update to 7.2.13
authorMichael Heimpold <mhei@heimpold.de>
Sun, 9 Dec 2018 15:01:14 +0000 (16:01 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Sun, 9 Dec 2018 15:26:52 +0000 (16:26 +0100)
commit794f8f8e94105a84c3a929f8703a84f52d68a91c
tree2482788f59acb5200536f2e310ebb16ec3cd42actree | snapshot
parent84100190cf151931a0e2f6a5feb776f18a98146acommit | diff
php7: update to 7.2.13

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
lang/php7/Makefile diff | blob | history
Mirror of packages feed