Skip to content

Conversation

ruudk
Copy link
Contributor

@ruudk ruudk commented Oct 21, 2020

Merged in #93 and applied all feedback.

Co-authored-by: raalderink <33425670+raalderink@users.noreply.github.com>
@ondrejmirtes
Copy link
Member

Thank you!

@ondrejmirtes ondrejmirtes merged commit 9da032e into phpstan:master Oct 21, 2020
@ruudk ruudk deleted the input-bag branch October 21, 2020 15:45
@ondrejmirtes
Copy link
Member

Tagged as 0.12.9.

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