Skip to content

Check if treatPhpDocTypesAsCertain tip is enabled#247

Merged
ondrejmirtes merged 1 commit intophpstan:1.6.xfrom
ruudk:treatPhpDocTypesAsCertainTip
Sep 20, 2024
Merged

Check if treatPhpDocTypesAsCertain tip is enabled#247
ondrejmirtes merged 1 commit intophpstan:1.6.xfrom
ruudk:treatPhpDocTypesAsCertainTip

Conversation

@ruudk
Copy link
Copy Markdown
Contributor

@ruudk ruudk commented Sep 19, 2024

@ondrejmirtes ondrejmirtes changed the base branch from 2.0.x to 1.6.x September 20, 2024 14:03
@ondrejmirtes ondrejmirtes merged commit daeec74 into phpstan:1.6.x Sep 20, 2024
@ondrejmirtes
Copy link
Copy Markdown
Member

Thank you!

@ruudk ruudk deleted the treatPhpDocTypesAsCertainTip branch September 20, 2024 14:22
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