]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-8.0'
authorSara Golemon <pollita@php.net>
Thu, 26 Nov 2020 02:20:37 +0000 (02:20 +0000)
committerSara Golemon <pollita@php.net>
Thu, 26 Nov 2020 02:20:37 +0000 (02:20 +0000)
* PHP-8.0:
  Remove -dev from ZEND_VERSION


Trivial merge