]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1' into PHP-7.2
authorAnatol Belski <ab@php.net>
Fri, 2 Feb 2018 13:09:20 +0000 (14:09 +0100)
committerAnatol Belski <ab@php.net>
Fri, 2 Feb 2018 13:09:20 +0000 (14:09 +0100)
commitb7575758a91c4c0609c2085363065e6d17d1de9d
tree8c134efe307e7f126675630f9e0a678214c2c54a
parent138ea7c3fe6168c0de107893a8ffbe19f25b0c88
parentb1ee215c6937115a63d27d2bf4d69f57f7451815
Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Switch to the new PHP SDK version on AppVeyor
.appveyor.yml