From: Joe Watkins <krakjoe@php.net>
Date: Mon, 2 Jan 2017 09:41:44 +0000 (+0000)
Subject: Merge branch 'PHP-7.1' of git.php.net:/php-src into PHP-7.1
X-Git-Tag: php-7.1.1RC1~32
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=532486569add9b53105279f95a85579dff143852;p=php

Merge branch 'PHP-7.1' of git.php.net:/php-src into PHP-7.1

* 'PHP-7.1' of git.php.net:/php-src:
  Flush stderr on win32 in cli_log_message
  Fixed bug #73154
---

532486569add9b53105279f95a85579dff143852