]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' into PHP-7.3
authorDmitry Stogov <dmitry@zend.com>
Wed, 22 May 2019 21:21:04 +0000 (00:21 +0300)
committerDmitry Stogov <dmitry@zend.com>
Wed, 22 May 2019 21:21:04 +0000 (00:21 +0300)
commitd4867e099e7f0919bd7897d1303c0d00671509cc
tree94d756719174f6f49ebf9ef670061a0bdf72622a
parentaa9c76d027d65467b4cd8db16fea8053d926e846
parentfa6a4483e63d87608a839d04c6e1b9eed9a0430f
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fixed race condition in opcache restart
ext/opcache/ZendAccelerator.c