]> granicus.if.org Git - php/commitdiff
Merge branch 'master' of https://git.php.net/push/php-src
authorBoris Lytochkin <lytboris@php.net>
Fri, 3 May 2013 15:25:33 +0000 (19:25 +0400)
committerBoris Lytochkin <lytboris@php.net>
Fri, 3 May 2013 15:25:33 +0000 (19:25 +0400)
* 'master' of https://git.php.net/push/php-src:
  updated NEWS
  updated NEWS
  Fixed bug #64770 stream_select() fails with pipes


Trivial merge