]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1' into PHP-7.2
authorPeter Kokot <peterkokot@gmail.com>
Mon, 6 Aug 2018 07:39:33 +0000 (09:39 +0200)
committerPeter Kokot <peterkokot@gmail.com>
Mon, 6 Aug 2018 07:39:33 +0000 (09:39 +0200)
* PHP-7.1:
  Fix bug #76709: Minimal required zlib library is 1.2.0.4


Trivial merge