]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1'
authorChristoph M. Becker <cmbecker69@gmx.de>
Thu, 5 Jan 2017 17:42:58 +0000 (18:42 +0100)
committerChristoph M. Becker <cmbecker69@gmx.de>
Thu, 5 Jan 2017 17:42:58 +0000 (18:42 +0100)
* PHP-7.1:
  wrong version

# Conflicts:
# main/php_version.h


Trivial merge