]> granicus.if.org Git - php/commit
Merge branch 'PHP-7.1'
authorAnatol Belski <ab@php.net>
Tue, 4 Apr 2017 14:25:10 +0000 (16:25 +0200)
committerAnatol Belski <ab@php.net>
Tue, 4 Apr 2017 14:25:10 +0000 (16:25 +0200)
commitc3e7a2a46156c094cc660276c2e99cb89e089a25
treee19df7d168c408bc7360218489342bb9e215cd6c
parent936e341b5e49141a6a54b1414ae81b2d5ac25ffd
parentadc49b1d18788cb8497eb176d4ac147f144f79bf
Merge branch 'PHP-7.1'

* PHP-7.1:
  Revert "extend skip section"