Skip to content

Conversation

@rainx
Copy link
Contributor

@rainx rainx commented Sep 18, 2023

This PR is to fix the issue #212

@ondrejmirtes ondrejmirtes merged commit 8202c44 into phpstan:1.23.x Sep 18, 2023
@ondrejmirtes
Copy link
Member

Thank you!

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

Labels

None yet

2 participants