From: Christopher Jones <christopher.jones@oracle.com>
Date: Thu, 14 Apr 2016 03:55:32 +0000 (+1000)
Subject: Merge fix for bug #71422.  No code changed needed in PHP 7
X-Git-Tag: php-7.0.7RC1~115
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=cef4bc61c195ca161ec9b2ff49d214d9cfdfc9a0;p=php

Merge fix for bug #71422.  No code changed needed in PHP 7
---

cef4bc61c195ca161ec9b2ff49d214d9cfdfc9a0