]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Tue, 5 Dec 2017 16:40:39 +0000 (17:40 +0100)
committerAnatol Belski <ab@php.net>
Tue, 5 Dec 2017 16:40:39 +0000 (17:40 +0100)
commit901cdc49e97b76d0b66a824906dd1a67393ea9e3
tree2f77762b2430506feb305165a4b927585981010a
parent7a136cd3dd44ea421fb7f771787acbcd43869422
parent75a2ee7f7bad4d3bc7bc60c181eabcc6d58c7937
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fixed bug #75601 Thread race in PCRE JIT support
  Fixed bug #75601 Thread race in PCRE JIT support
  bump versions