diff options
| author | Remi Collet <remi@php.net> | 2018-04-11 05:19:35 +0000 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2018-04-11 05:19:35 +0000 |
| commit | 81f414ef23da586b6f30dddcc350790ca1d3e3a6 (patch) | |
| tree | bcae7f593da615c18c452aca28c5094c8019bbcb | |
| parent | 043ac320a071419ce5693995f550e190b239fd88 (diff) | |
| download | php-git-81f414ef23da586b6f30dddcc350790ca1d3e3a6.tar.gz | |
Update NEWS for PHP 7.2.5RC1
| -rw-r--r-- | NEWS | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ PHP NEWS ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| -?? ??? 2018, PHP 7.2.5 +12 Apr 2018, PHP 7.2.5RC1 - Core: . Fixed bug #75722 (Convert valgrind detection to configure option). |