Skip to content

Conversation

@jlherren
Copy link
Contributor

@jlherren jlherren commented Jul 7, 2023

No description provided.

@jlherren
Copy link
Contributor Author

jlherren commented Jul 7, 2023

@ondrejmirtes ondrejmirtes merged commit 8d5deb9 into phpstan:1.10.x Jul 11, 2023
@ondrejmirtes
Copy link
Member

Thank you!

@herndlm herndlm mentioned this pull request May 12, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants