]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.2'
authorSara Golemon <pollita@php.net>
Mon, 23 Oct 2017 18:59:05 +0000 (14:59 -0400)
committerSara Golemon <pollita@php.net>
Mon, 23 Oct 2017 18:59:05 +0000 (14:59 -0400)
* PHP-7.2:
  NEWS entry for pg_close() fix


Trivial merge