]> granicus.if.org Git - php/commit
projects / php / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: bdce295 92055ca)
Merge branch 'PHP-7.2' into PHP-7.3
authorXinchen Hui <laruence@gmail.com>
Mon, 11 Feb 2019 07:28:44 +0000 (15:28 +0800)
committerXinchen Hui <laruence@gmail.com>
Mon, 11 Feb 2019 07:33:59 +0000 (15:33 +0800)
commit4f044f680c8c0f42ae87988873e8fc1c4480d6a9
tree4a1d63396bc5644193622c58a44053eb360150c9tree | snapshot
parentbdce2954c3f12a80da5c0e10c4434c02d57c9eeacommit | diff
parent92055ca79b821d0712ed67b8173d2312e7e9fdbdcommit | diff
Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  Fixed bug #77589 (Core dump using parse_ini_string with numeric sections)

Conflicts:
Zend/zend_ini_scanner.c
NEWS diff1 | diff2 | blob | history
Zend/zend_ini_scanner.c diff1 | diff2 | blob | history
Zend/zend_ini_scanner.l diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.