]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-8.0'
authorChristoph M. Becker <cmbecker69@gmx.de>
Mon, 26 Oct 2020 10:06:25 +0000 (11:06 +0100)
committerChristoph M. Becker <cmbecker69@gmx.de>
Mon, 26 Oct 2020 10:06:25 +0000 (11:06 +0100)
* PHP-8.0:
  Fix #80280: ADD_EXTENSION_DEP() fails for ext/standard and ext/date


Trivial merge