Skip to content

Fix Stan#1657

Merged
ibelar merged 1 commit intodevelopfrom
fix_stan
Sep 15, 2021
Merged

Fix Stan#1657
ibelar merged 1 commit intodevelopfrom
fix_stan

Conversation

@mvorisek
Copy link
Copy Markdown
Member

@mvorisek mvorisek commented Sep 8, 2021

I belive this is an issue in phpstan: phpstan/phpstan#5607, do NOT merge before the issue is cleared.

@mvorisek mvorisek marked this pull request as draft September 8, 2021 19:16
@mvorisek mvorisek marked this pull request as ready for review September 15, 2021 09:45
@mvorisek mvorisek requested a review from ibelar September 15, 2021 09:45
@mvorisek
Copy link
Copy Markdown
Member Author

@ibelar let's merge this, not sure when this will be fixed in phpstan, we can revert anytime...

@ibelar ibelar merged commit 7fbe829 into develop Sep 15, 2021
@ibelar ibelar deleted the fix_stan branch September 15, 2021 13:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants