]> granicus.if.org Git - php/commitdiff
Merge branch 'master' of https://git.php.net/repository/php-src
authorChristopher Jones <sixd@php.net>
Thu, 10 Oct 2013 18:15:12 +0000 (11:15 -0700)
committerChristopher Jones <sixd@php.net>
Thu, 10 Oct 2013 18:15:12 +0000 (11:15 -0700)
# By Dmitry Stogov
# Via Christopher Jones (2) and Dmitry Stogov (2)
* 'master' of https://git.php.net/repository/php-src:
  Fixed bug #65845 (Error when Zend Opcache Optimizer is fully enabled).


Trivial merge