diff options
author | Remi Collet <remi@php.net> | 2018-04-24 09:41:13 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2018-04-24 09:41:13 +0200 |
commit | 4bd28cf296b4f3463af9b476eae003b56be474d4 (patch) | |
tree | 23b30dbdaf7fdbddd3ebbebcd2e9c9f5bb877a5d | |
parent | ac0f7f73426521559363737d700248cd3a95a0d9 (diff) | |
download | php-git-4bd28cf296b4f3463af9b476eae003b56be474d4.tar.gz |
clean
-rw-r--r-- | NEWS | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -2,7 +2,6 @@ PHP NEWS ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||| ?? ??? ????, PHP 7.2.5 - - Core: . Fixed bug #75722 (Convert valgrind detection to configure option). (Michael Heimpold) |