Skip to content

Conversation

@ChristophWurst
Copy link
Member

No description provided.

Signed-off-by: Christoph Wurst <[email protected]>
@gary-kim
Copy link
Member

#151 is doing more or less the same thing. Should we just make the change here?

@ChristophWurst
Copy link
Member Author

Noticed after I pushed. But the other one uses 7.4 as version which doesn't work right now.

@ChristophWurst ChristophWurst merged commit 2a4691a into master Dec 10, 2019
@delete-merged-branch delete-merged-branch bot deleted the enhancement/php74 branch December 10, 2019 12:54
@rullzer rullzer mentioned this pull request Dec 11, 2019
43 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants