Skip to content

Conversation

@jhdxr
Copy link
Member

@jhdxr jhdxr commented Nov 30, 2020

No description provided.

@Girgias
Copy link
Member

Girgias commented Dec 2, 2020

Should this get merged on top of #366 or does it still need review?

@jhdxr
Copy link
Member Author

jhdxr commented Dec 2, 2020

@Girgias This one is good to go as well. I mentioned the changes in #366 and @shiny also agrees on them.

@cmb69
Copy link
Member

cmb69 commented Dec 2, 2020

Thank you!

@php-pulls php-pulls closed this in a5872f0 Dec 2, 2020
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