projects / feed / packages.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 85c6165) | patch
php7: update to 7.2.10
authorMichael Heimpold <mhei@heimpold.de>
Sun, 23 Sep 2018 19:35:04 +0000 (21:35 +0200)
committerMichael Heimpold <mhei@heimpold.de>
Tue, 26 Mar 2019 19:20:18 +0000 (20:20 +0100)
commit5e25be53530c07abd93b71604585ad18e923a8ed
tree5c835f20b16c998b5c2d2c2ce15252e212e34301tree | snapshot
parent85c616557f352ef5ddc163ba6669f2ccc63d33d4commit | diff
php7: update to 7.2.10

Signed-off-by: Michael Heimpold <mhei@heimpold.de>
(cherry picked from commit c69af6717cc28f946284a729c4c2b8954eede673)
lang/php7/Makefile diff | blob | history
Mirror of packages feed