From 4bd28cf296b4f3463af9b476eae003b56be474d4 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Tue, 24 Apr 2018 09:41:13 +0200
Subject: clean

---
 NEWS | 1 -
 1 file changed, 1 deletion(-)

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)
-- 
cgit v1.2.1