DevHeads.net

com web/php: Announce 7.1.25 and 7.2.13: ChangeLog-7.php archive/archive.xml archive/entries/2018-12-06-3.xml archive/entries/2018-12-06-4.xml include/releases.inc include/version.inc releases/7_1_25.php releases/7_2_13.php

Link: <a href="http://git.php.net/?p=web/php.git;a=commitdiff;h=d01d852a48e9fe9122a23dfd4572d9a5c458a99a" title="http://git.php.net/?p=web/php.git;a=commitdiff;h=d01d852a48e9fe9122a23dfd4572d9a5c458a99a">http://git.php.net/?p=web/php.git;a=commitdiff;h=d01d852a48e9fe9122a23df...</a>

Log:
Announce 7.1.25 and 7.2.13

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-12-06-3.xml
A archive/entries/2018-12-06-4.xml
M include/releases.inc
M include/version.inc
A releases/7_1_25.php
A releases/7_2_13.php