]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.0' into PHP-7.1
authorAnatol Belski <ab@php.net>
Tue, 3 Jan 2017 12:27:06 +0000 (13:27 +0100)
committerAnatol Belski <ab@php.net>
Tue, 3 Jan 2017 12:27:06 +0000 (13:27 +0100)
commit63d980b3c7fd6fac09f63de9ef19416be8f42d50
treed993aceac5d3cd5049afd6183edac8b46e8a0025
parent661fad7beb71d1096e93b0212624ad5f94e5a648
parent3a1ae7bb9b11a7c011c921242bffa2baa9713487
Merge branch 'PHP-7.0' into PHP-7.1

* PHP-7.0:
  better skip on files