Skip to content

PHP 7.4#83

Merged
thunderer merged 1 commit intomasterfrom
php-7.4
Dec 3, 2019
Merged

PHP 7.4#83
thunderer merged 1 commit intomasterfrom
php-7.4

Conversation

@thunderer
Copy link
Owner

@rhukster we can merge your PR, but then the build will fail - this PR includes your fix along with CI changes which make everything as green as it was before. Please let me know what do you think, I'm ready to merge this one right away and tag a new release.

@thunderer thunderer self-assigned this Dec 3, 2019
@thunderer thunderer mentioned this pull request Dec 3, 2019
@thunderer thunderer merged commit 084ed05 into master Dec 3, 2019
@thunderer thunderer deleted the php-7.4 branch December 3, 2019 22:05
@thunderer thunderer mentioned this pull request Dec 3, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant