From: Rasmus Lerdorf Date: Tue, 21 May 2019 21:46:24 +0000 (-0700) Subject: Merge branch 'PHP-7.2' into PHP-7.3 X-Git-Tag: php-7.3.7RC1~43 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=2d29263a9ff6fc400891c0de2d8e4ae194513f57;p=php Merge branch 'PHP-7.2' into PHP-7.3 * PHP-7.2: Fix precedence issue causing sub-second timeouts to be 0 in curl_multi_select --- 2d29263a9ff6fc400891c0de2d8e4ae194513f57