Skip to content

Conversation

@mhujer
Copy link
Contributor

@mhujer mhujer commented Nov 30, 2019

No description provided.

@mhujer mhujer force-pushed the ramsey-uuid-type-descriptor branch from eb650bc to 104951e Compare November 30, 2019 18:47
@lookyman
Copy link
Contributor

I was thinking about creating a separate package for this. But considering the popularity of Ramsey's extension, I guess we can have this in here?

@ondrejmirtes
Copy link
Member

It doesn’t have any dependency nor downside, I want it here 😊

@mhujer mhujer requested a review from ondrejmirtes December 1, 2019 10:54
@ondrejmirtes
Copy link
Member

Thank you!

@ondrejmirtes ondrejmirtes merged commit 0621ee1 into phpstan:master Dec 1, 2019
@mhujer mhujer deleted the ramsey-uuid-type-descriptor branch December 1, 2019 22:01
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