summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--NEWS1
1 files changed, 0 insertions, 1 deletions
diff --git a/NEWS b/NEWS
index 55a7cbd3fb..bd5e904129 100644
--- a/NEWS
+++ b/NEWS
@@ -2,7 +2,6 @@ PHP NEWS
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
?? ??? ????, PHP 7.2.5
-
- Core:
. Fixed bug #75722 (Convert valgrind detection to configure option).
(Michael Heimpold)