Skip to content

Conversation

@gquemener
Copy link

No description provided.

@fpellet
Copy link
Member

fpellet commented Oct 7, 2023

Thank you.
I can't merge this PR directly, as I need to include the change on a particular commit. So if I close, it's not a refusal of your contribution :)

I'm looking for help to update the PHP version. Do you have the time and expertise for this?

@gquemener
Copy link
Author

gquemener commented Oct 7, 2023 via email

@fpellet
Copy link
Member

fpellet commented Oct 26, 2023

I pinged you on discord. Don't hesitate to let me know when you're available for a chat.

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.

2 participants