From: Anatol Belski <ab@php.net>
Date: Thu, 28 Jun 2018 08:54:59 +0000 (+0200)
Subject: Merge branch 'PHP-7.1' into PHP-7.2
X-Git-Tag: php-7.2.8RC1~18
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b35f45ded2e8f0fb4b796669a7ff7a1843fd4814;p=php

Merge branch 'PHP-7.1' into PHP-7.2

* PHP-7.1:
  Don't ignore commits on NEWS, etc. on AppVeyor
---

b35f45ded2e8f0fb4b796669a7ff7a1843fd4814