Update NEWS

diff --git a/NEWS b/NEWS
index 3c9dbee277296b1024d700dca81b3c15c6d1c3d1..40f3f1de7a44b64c3de10ef2579e67bad79e0de0 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -3,6 +3,7 @@ PHP                                                                        NEWS
 ?? ??? ????, PHP 7.2.1
 
 - Core:
+  . Fixed bug #75573 (Segmentation fault in 7.1.12 and 7.0.26). (Laruence)
   . Fixed bug #75384 (PHP seems incompatible with OneDrive files on demand).
     (Anatol)
   . Fixed bug #75525 (Access Violation in vcruntime140.dll). (Anatol)