Skip to content

Conversation

@NathanFreeman
Copy link
Contributor

No description provided.

@cmb69
Copy link
Member

cmb69 commented Sep 13, 2022

Thank you for the PR! However, this has been done recently for PHP 8.2 already, and I doubt that we should backport that now. Should probably be decided by the RMs; @ramsey, @patrickallaert, thoughts?

@ramsey
Copy link
Member

ramsey commented Sep 13, 2022

@cmb69 Your link to the commit for 8.2 gives me a 404 page.

@cmb69
Copy link
Member

cmb69 commented Sep 13, 2022

Your link to the commit for 8.2 gives me a 404 page.

Argh! I linked to the commit hash, but GH thought it was a PR. Now fixed above.

@nielsdos
Copy link
Member

nielsdos commented Dec 6, 2024

Not relevant anymore as 8.1 is closed for fixes and this was fixed in 8.2.

@nielsdos nielsdos closed this Dec 6, 2024
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.

4 participants