DevHeads.net

com web/php: Announce 7.1.23 and 7.2.11: ChangeLog-7.php archive/archive.xml archive/entries/2018-10-11-2.xml archive/entries/2018-10-11-3.xml include/releases.inc include/version.inc releases/7_1_23.php releases/7_2_11.php

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

Log:
Announce 7.1.23 and 7.2.11

Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-10-11-2.xml
A archive/entries/2018-10-11-3.xml
M include/releases.inc
M include/version.inc
A releases/7_1_23.php
A releases/7_2_11.php