From: Remi Collet <remi@php.net>
Date: Wed, 18 Dec 2019 13:17:21 +0000 (+0100)
Subject: Merge branch 'PHP-7.2' into PHP-7.3
X-Git-Tag: php-7.3.14RC1~20
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=22dec2b3237dc58f553c26907f2b2d4c67a31e6e;p=php

Merge branch 'PHP-7.2' into PHP-7.3

* PHP-7.2:
  fix release date
---

22dec2b3237dc58f553c26907f2b2d4c67a31e6e