Skip to content

More precise dirname signature#712

Merged
ondrejmirtes merged 1 commit intophpstan:masterfrom
staabm:patch-5
Oct 15, 2021
Merged

More precise dirname signature#712
ondrejmirtes merged 1 commit intophpstan:masterfrom
staabm:patch-5

Conversation

@staabm
Copy link
Copy Markdown
Contributor

@staabm staabm commented Oct 14, 2021

@ondrejmirtes ondrejmirtes merged commit 082b08b into phpstan:master Oct 15, 2021
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you!

@staabm staabm deleted the patch-5 branch October 15, 2021 15:31
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