]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2'
authorAnatol Belski <ab@php.net>
Tue, 13 Feb 2018 13:06:27 +0000 (14:06 +0100)
committerAnatol Belski <ab@php.net>
Tue, 13 Feb 2018 13:06:27 +0000 (14:06 +0100)
commit57a299d68265f73a109ccd88162b85c743ff9c45
tree3f1a9a5b3331400a99f5e5fda80a32eae3e48506
parent7bf92674046083ab95c7a98eb27b16da94a50835
parent2235da59af3a84210c5b918b348da8ea60045ea7
Merge branch 'PHP-7.2'

* PHP-7.2:
  Extend skipif check