From: Joe Watkins <krakjoe@php.net>
Date: Sat, 31 Dec 2016 13:55:17 +0000 (+0000)
Subject: Merge branch 'master' of git.php.net:/php-src
X-Git-Tag: php-7.2.0alpha1~709
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=ae1ecf1173fcbaf47aebb86a0992546f141a34e5;p=php

Merge branch 'master' of git.php.net:/php-src

* 'master' of git.php.net:/php-src:
  Fix bug #73847
---

ae1ecf1173fcbaf47aebb86a0992546f141a34e5