add gmp fixes

diff --git a/NEWS b/NEWS
index 729e29de958f9ad7c7e5408c7da03462315fbf56..ecfad48000406acf065223cd1127cd1e1339b31f 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -51,6 +51,7 @@ PHP                                                                        NEWS
 - Fixed bug #42657 (ini_get() returns incorrect value when default is NULL).
   (Jani)
 - Fixed bug #42637 (SoapFault : Only http and https are allowed). (Bill Moran)
+- Fixed bug #42509 (gmp leaks memory when gmp_init() not used). (Stas)
 - Fixed bug #42069 (parse_ini_file() allows using some non-alpha numeric
   characters). (Jani)
 - Fixed bug #37911 (preg_replace_callback() ignores named groups). (Nuno)