]> granicus.if.org Git - php/commitdiff
projects / php / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 72376dc 8953308)
Merge branch 'master' into zend_signals
authorDmitry Stogov <dmitry@zend.com>
Mon, 20 Jun 2016 19:42:18 +0000 (22:42 +0300)
committerDmitry Stogov <dmitry@zend.com>
Mon, 20 Jun 2016 19:42:18 +0000 (22:42 +0300)
* master:
  Improved support for zend-signals.
  Use empty keys instead of _empty_ in json decoding
  update NEWS
  Fix bug #71936 (Segmentation fault destroying HTTP_RAW_POST_DATA)


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