]> granicus.if.org Git - php/commitdiff
Merge branch 'PHP-7.1'
authorAnatol Belski <ab@php.net>
Sat, 22 Apr 2017 16:35:10 +0000 (18:35 +0200)
committerAnatol Belski <ab@php.net>
Sat, 22 Apr 2017 16:35:10 +0000 (18:35 +0200)
* PHP-7.1:
  Fixed bug #74489 readline() immediately returns false in interactive console mode


Trivial merge