Skip to content

Conversation

jrfnl
Copy link
Collaborator

@jrfnl jrfnl commented Jun 28, 2020

@grogy
Copy link
Member

grogy commented Aug 14, 2020

You have great small improvements in many project. Thanks for your time and energy :-)

@grogy grogy merged commit 1485b29 into php-parallel-lint:master Aug 14, 2020
@jrfnl
Copy link
Collaborator Author

jrfnl commented Aug 14, 2020

You have great small improvements in many project.

You're welcome. Most of these are necessary changes for me to be able to justify using the packages. After all, if the packages aren't tested/working properly on the versions I want to use them on, in the spirit of open source, one should make sure they are.

@jrfnl jrfnl deleted the feature/fix-php-7.4-compatibility branch August 14, 2020 14:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants