com web/php: 7.2.12 announcement: ChangeLog-7.php archive/archive.xml archive/entries/2018-11-08-2.xml include/releases.inc include/version.inc
releases/7_2_12.php
| From: | Remi Collet | Date: | Thu, 08 Nov 2018 10:33:53 +0000 |
| Subject: | com web/php: 7.2.12 announcement: ChangeLog-7.php archive/archive.xml archive/entries/2018-11-08-2.xml include/releases.inc include/version.inc releases/7_2_12.php |
||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-27422@lists.php.net to get a copy of this message | ||
Commit: 4e3a94eec9f151e870e577827cfb5c255579cc29
Author: Remi Collet <remi@php.net> Thu, 8 Nov 2018 11:33:53 +0100
Parents: 8f491b7e5d84a48c6eb9f26fec47dc84f9a1ade1
Branches: master
Link: http://git.php.net/?p=web/php.git;a=commitdiff;h=4e3a94eec9f151e870e577827cfb5c255579cc29
Log:
7.2.12 announcement
Changed paths:
M ChangeLog-7.php
M archive/archive.xml
A archive/entries/2018-11-08-2.xml
M include/releases.inc
M include/version.inc
A releases/7_2_12.php
Diff: <Diff exceeded maximum size>