Skip to content

Conversation

@ruudk
Copy link
Contributor

@ruudk ruudk commented Dec 16, 2021

No description provided.

@ondrejmirtes ondrejmirtes merged commit b711513 into phpstan:master Dec 16, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

2 participants