Re: Re: Question about merged PR #937
| From: | Christoph M. Becker | Date: | Fri, 20 Sep 2019 10:40:36 +0000 |
| Subject: | Re: Re: Question about merged PR #937 | ||
| References: | 1 2 3 4 5 6 7 8 9 | Groups: | php.internals |
| Request: | Send a blank email to internals+get-107264@lists.php.net to get a copy of this message | ||
On 20.09.2019 at 12:35, Alexandru Pătrănescu wrote:
> Was this squash done during merging of a github pull request?
Yes, it was when applying <https://github.com/php/php-src/pull/4621>. I
didn't use the Github UI, though.
--
Christoph M. Becker