]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Fri, 18 Aug 2017 15:40:26 +0000 (17:40 +0200)
committerAnatol Belski <ab@php.net>
Fri, 18 Aug 2017 15:40:26 +0000 (17:40 +0200)
commit73daf8de52502fd8252d4c3d001ee5f4b808bec6
tree30d09e06f81f026e20d98399b6a081d45a82d045
parentcc0c6b2a277d2e65b02adfd52b14a15b5fcf6738
parentf1c664d37960be8a53efae67f99193a1c3be22b0
Merge branch 'PHP-7.2'

* PHP-7.2:
  Fix skipifs
  Fix issues with phpt and EXTENSION on windows (BUG 75042)