[ci skip] update NEWS

weltling · weltling · commit 0bbb545c7791 · 2017-11-10T11:41:16.000+01:00
diff --git a/NEWS b/NEWS
@@ -2,7 +2,9 @@ PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 ?? ??? 2017, PHP 7.1.13
 
-
+- Core:
+  . Fixed bug #75384 (PHP seems incompatible with OneDrive files on demand).
+    (Anatol)
 
 23 Nov 2017, PHP 7.1.12
 
