From: Joe Watkins <krakjoe@php.net>
Date: Tue, 11 Jun 2019 09:09:24 +0000 (+0200)
Subject: Merge branch 'PHP-7.4'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=f7342e298b5372bf06da7b722f8d84c4b66f91ac;p=php

Merge branch 'PHP-7.4'

* PHP-7.4:
  drop docker until tested locally
---

f7342e298b5372bf06da7b722f8d84c4b66f91ac