From: Anatol Belski <ab@php.net>
Date: Tue, 10 Oct 2017 06:28:09 +0000 (+0200)
Subject: Merge branch 'PHP-7.1' into PHP-7.2
X-Git-Tag: php-7.2.0RC4~2
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=406622d11721c2ac9f9be59a5e573ecd3d210112;p=php

Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Move dev to 7.0.26
---

406622d11721c2ac9f9be59a5e573ecd3d210112