Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fix bug #78752

diff --cc NEWS
index ad3684c7c4b4d269e5c0dafd72854684972d87e7,1d5c6d3d7c33c4c2bb820718751f6029e1f3deb8..c4e05157546456b0dd92d04c1261b1c4222d8873
--- 1/NEWS
--- 2/NEWS
+++ b/NEWS
@@@ -1,11 -1,12 +1,13 @@@
  PHP                                                                        NEWS
  |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 -?? ??? 2019, PHP 7.2.25
 +?? ??? ????, PHP 7.3.12
  
  - Core:
 +  . Fixed bug #78658 (Memory corruption using Closure::bindTo). (Nikita)
    . Fixed bug #78656 (Parse errors classified as highest log-level). (Erik
      Lundin)
+   . Fixed bug #78752 (Segfault if GC triggered while generator stack frame is
+     being destroyed). (Nikita)
  
  - COM:
    . Fixed bug #78694 (Appending to a variant array causes segfault). (cmb)

diff --cc Zend/zend_generators.c
Simple merge