]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1'
authorJoe Watkins <krakjoe@php.net>
Thu, 12 Jan 2017 09:10:53 +0000 (09:10 +0000)
committerJoe Watkins <krakjoe@php.net>
Thu, 12 Jan 2017 09:10:53 +0000 (09:10 +0000)
commitdd7a04009e88100e956530d7d729b06bc5cf95f5
tree19648f9fe5311c4cdfaf347808ccc8dc9c017c1c
parent62f29c0c1c6a0825950c425b53af4703f4642cab
parent8f6dad150b9964bbce8cad5f7793c24e3d930015
Merge branch 'PHP-7.1'

* PHP-7.1:
  Fixed bug #72680 gdbinit print_cvs not prepared for PHP 7