Correct release date for 7.2.25

php · Nov 20, 2019 · d95fdd0 · d95fdd0
1 parent ca9842a
commit d95fdd0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/NEWS b/NEWS
@@ -1,6 +1,6 @@
 PHP                                                                        NEWS
 |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
-07 Nov 2019, PHP 7.2.25RC1
+21 Nov 2019, PHP 7.2.25
 
 - Core:
   . Fixed bug #78656 (Parse errors classified as highest log-level). (Erik