projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be1012d) | patch
php7: update to 7.2.2
authorMichael Heimpold <mhei@heimpold.de>
Mon, 5 Feb 2018 19:50:35 +0000 (20:50 +0100)
committerMichael Heimpold <mhei@heimpold.de>
Mon, 5 Feb 2018 19:50:46 +0000 (20:50 +0100)
commit379f4a95079c0a0fa45346002e4b5f0174d882ee
tree2946ace560256a2034464c7b8833a7f8d476b249tree | snapshot
parentbe1012d24229376f86d6dc76694312cbb97d71cfcommit | diff
php7: update to 7.2.2

Also refresh patches to reflect new year.

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
lang/php7/Makefile diff | blob | history
lang/php7/patches/0041-Add-patch-to-remove-build-timestamps-from-generated-.patch diff | blob | history
lang/php7/patches/0050-remove-build-timestamps.patch diff | blob | history
Mirror of packages feed