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

Merge branch 'PHP-7.4'

* PHP-7.4:
  checkout depth of one doesn't always work with batched builds, it seems
---

3364f5f8263d9fbc6747e0a92303ee068e94a709