]> granicus.if.org Git - php/commit
Merge branch 'master' of git.php.net:php-src
authorDmitry Stogov <dmitry@zend.com>
Wed, 3 Oct 2018 14:43:08 +0000 (17:43 +0300)
committerDmitry Stogov <dmitry@zend.com>
Wed, 3 Oct 2018 14:43:08 +0000 (17:43 +0300)
commitba3d0a845a697c25fa2fba1e750332813f4ef85c
treecabde8e9d04582cd60b9c0901c34e84e14696f0e
parented5fb80c31ccfebf99b4b2dc7a51a54d4623c193
parent1c11fc7f135fbcba7172acae28284d1a873b2bc7
Merge branch 'master' of git.php.net:php-src

* 'master' of git.php.net:php-src:
  Avoid code duplication and don't miss env restore