Skip to content

Conversation

branchzero
Copy link
Contributor

No description provided.

@andig
Copy link
Contributor

andig commented Nov 21, 2017

Can we get a 2nd opinion on this one? Does it work with #57?

@andig andig mentioned this pull request Nov 21, 2017
@xcaptain
Copy link

Tried this patch and it works, hope to see it get merged.

@andig andig merged commit 37b869a into php-pm:master Dec 12, 2017
@andig
Copy link
Contributor

andig commented Dec 12, 2017

Great, thank you very much!

@andig andig mentioned this pull request Dec 12, 2017
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.

3 participants