Skip to content

refactor: #414 remove method substrCount #415

Merged
ezyang merged 2 commits intoezyang:masterfrom
kitrio:remove/old
Nov 10, 2024
Merged

refactor: #414 remove method substrCount #415
ezyang merged 2 commits intoezyang:masterfrom
kitrio:remove/old

Conversation

@kitrio
Copy link
Copy Markdown
Contributor

@kitrio kitrio commented Aug 15, 2024

method for php 5.0 remove

@kitrio kitrio changed the title Remove: #414 method substrCount refactor: #414 remove method substrCount Aug 15, 2024
@ezyang
Copy link
Copy Markdown
Owner

ezyang commented Aug 15, 2024

ci fail legit

@wyattoday
Copy link
Copy Markdown

Looks like the 8.4 CI job was due to a CI configuration error.

We deployed these changes in production without problem.

@ezyang ezyang merged commit d515007 into ezyang:master Nov 10, 2024
@kitrio kitrio deleted the remove/old branch January 28, 2025 05:43
@github-actions
Copy link
Copy Markdown

🎉 This PR is included in version 4.19.0 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants