Skip to content

Conversation

@reedy
Copy link
Contributor

@reedy reedy commented Apr 27, 2020

Fixes #1

@reedy
Copy link
Contributor Author

reedy commented Apr 27, 2020

Also needs #6

@grogy
Copy link
Member

grogy commented Apr 28, 2020

Thank you :-)

Can you add, please, other changes? Diff can you see on v0.4...HEAD (Travis CI fixes, fixed build script, creating .gitattributes)

@reedy
Copy link
Contributor Author

reedy commented Apr 28, 2020

Thank you :-)

Can you add, please, other changes? Diff can you see on v0.4...HEAD (Travis CI fixes, fixed build script, creating .gitattributes)

It was right when I created it ;)

I can't help feel it would've taken about as long to merge this PR (or edit it) than it would have taken to write the comment asking me to do it though :P

@grogy
Copy link
Member

grogy commented May 13, 2020

Thank you 👍

@grogy grogy merged commit 3bc2f08 into php-parallel-lint:master May 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

New release with new name?

3 participants