NEWS for 7.2.19

diff --git a/NEWS b/NEWS
index 9bd90cf16e5c5dbe9adbc8c92d3c8df853e624fc..7d08958c23fafae7ad91fa0ffa0988ade2f5fd05 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-16 May 2019, PHP 7.2.19RC1
+30 May 2019, PHP 7.2.19
 
 - FPM:
   . Fixed bug #77934 (php-fpm kill -USR2 not working). (Jakub Zelenka)