]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1' of git.php.net:/php-src into PHP-7.1
authorXinchen Hui <laruence@gmail.com>
Mon, 30 Oct 2017 10:17:27 +0000 (18:17 +0800)
committerXinchen Hui <laruence@gmail.com>
Mon, 30 Oct 2017 10:17:27 +0000 (18:17 +0800)
commita3286a8ee47cd0622acad0f11108582d10340d5a
tree53c7ab6741754cb2bdbdca92f7bab8ba720d8667
parentd9de0f8683286f204facff774b87a99e2461f137
parentf361caa5c09cc42a1bf2b30cbf616bff70afe8f4
Merge branch 'PHP-7.1' of git.php.net:/php-src into PHP-7.1

* 'PHP-7.1' of git.php.net:/php-src:
  Remove status check on the SDK repo and add version check