From: Xinchen Hui <laruence@gmail.com>
Date: Tue, 2 Aug 2016 09:45:22 +0000 (+0800)
Subject: Merge branch 'master' of git.php.net:/php-src
X-Git-Tag: php-7.2.0alpha1~1558^2~78
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=a006363aeaf90fe00599ab76d06c25dfe2a5feb2;p=php

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

* 'master' of git.php.net:/php-src:
  increase versions for 7.2
---

a006363aeaf90fe00599ab76d06c25dfe2a5feb2