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 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
