Skip to content

Conversation

staabm
Copy link
Contributor

@staabm staabm commented Nov 7, 2022

@staabm staabm marked this pull request as ready for review November 7, 2022 10:49
@phpstan-bot
Copy link
Collaborator

This pull request has been marked as ready for review.

@ondrejmirtes ondrejmirtes merged commit 7eb0b92 into phpstan:1.9.x Nov 7, 2022
@ondrejmirtes
Copy link
Member

Thank you. BTW I have a small thing to ask - please use first letter upper-case in your PR titles and commit messages.

@staabm staabm deleted the is-float branch November 7, 2022 12:52
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.

3 participants