From: Xinchen Hui Date: Thu, 14 Jan 2016 03:51:53 +0000 (+0800) Subject: Merge branch 'patch' of https://github.com/jakkdu/php-src X-Git-Tag: php-7.1.0alpha1~617^2~60 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=da658f28bb5f526ff258e279d6b3a7c504bf48a3;p=php Merge branch 'patch' of https://github.com/jakkdu/php-src * 'patch' of https://github.com/jakkdu/php-src: phpdbg: fix potential format string bug --- da658f28bb5f526ff258e279d6b3a7c504bf48a3