]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.0' into PHP-7.1
authorJoe Watkins <krakjoe@php.net>
Sun, 29 Oct 2017 04:37:55 +0000 (04:37 +0000)
committerJoe Watkins <krakjoe@php.net>
Sun, 29 Oct 2017 04:37:55 +0000 (04:37 +0000)
commit6c90612d13f91363a752a997c3354d1032ea097a
tree8687ba31ff456d5808963e759a8248ebf6b33451
parent27856f64c332752cbc6874327ebbe161294b9637
parent59d413ceb84f9bb83536f5c716dd49090663d84c
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  make sure run-tests reports exit status upon prerequisite error
run-tests.php