]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.2' of git.php.net:/php-src into PHP-7.2
authorXinchen Hui <laruence@gmail.com>
Mon, 30 Oct 2017 10:21:00 +0000 (18:21 +0800)
committerXinchen Hui <laruence@gmail.com>
Mon, 30 Oct 2017 10:21:00 +0000 (18:21 +0800)
commitd4b81223cd903cc1b37b94326caf2077054e79c6
treeb366431aae9c9899a13f3c7646a77ae300d09999
parentdb4eb541490c1582a250f1e027bf2257f00b222e
parenta438a633e939d1e717a88d25c6dd9bf49dd50c8e
Merge branch 'PHP-7.2' of git.php.net:/php-src into PHP-7.2

* 'PHP-7.2' of git.php.net:/php-src:
  Fix SDK version comparison and add more verbosity
  Don't use the cache dependency, SDK version is handled in script