]> granicus.if.org Git - php/commitdiff
projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 62f29c0 1ee1f79)
Merge branch 'PHP-7.0' into PHP-7.1
authorJoe Watkins <krakjoe@php.net>
Thu, 12 Jan 2017 09:10:39 +0000 (09:10 +0000)
committerJoe Watkins <krakjoe@php.net>
Thu, 12 Jan 2017 09:10:39 +0000 (09:10 +0000)
* PHP-7.0:
  Fixed bug #72680 gdbinit print_cvs not prepared for PHP 7


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.