From: Peter Kokot <peterkokot@gmail.com>
Date: Sat, 16 Feb 2019 20:49:58 +0000 (+0100)
Subject: Merge branch 'PHP-7.4'
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=46a0044518e778ec1c2d0afb525fd36872553327;p=php

Merge branch 'PHP-7.4'

* PHP-7.4:
  Remove unused --copy option from the makedist
---

46a0044518e778ec1c2d0afb525fd36872553327