Skip to content

Conversation

staabm
Copy link
Contributor

@staabm staabm commented Jan 21, 2023

No description provided.

@ondrejmirtes ondrejmirtes merged commit 517e6be into phpstan:1.10.x Jan 22, 2023
@ondrejmirtes
Copy link
Member

Thank you.

@staabm staabm deleted the rm-dead branch January 22, 2023 08:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants