Merge branch 'PHP-7.3' into PHP-7.4
authorChristoph M. Becker <cmbecker69@gmx.de>
Thu, 26 Mar 2020 22:15:55 +0000 (23:15 +0100)
committerChristoph M. Becker <cmbecker69@gmx.de>
Thu, 26 Mar 2020 22:15:55 +0000 (23:15 +0100)
* PHP-7.3:
  Add missing 'skip' to bug79332.phpt skip message


Trivial merge