Merge branch 'PHP-7.2' into PHP-7.3

diff --cc NEWS
index 87140f8ea9586ce4e8c878aaf0ac1998c3c9a894,8ad64104fb37d81ca7335fdac77e0d0f8552b9fd..dde26bf5a01e9c0e7c8f168c5f881c3987ed163a
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,8 -1,12 +1,12 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.23
 +?? ??? ????, PHP 7.3.10
  
 -29 Aug 2019, PHP 7.2.22
+ - Core:
+   . Fixed bug #78412 (Generator incorrectly reports non-releasable $this as GC
+     child). (Nikita)
+ 
 +29 Aug 2019, PHP 7.3.9
  
  - Core:
    . Fixed bug #78363 (Buffer overflow in zendparse). (Nikita)

diff --cc Zend/zend_generators.c
Simple merge