Skip to content

Conversation

@emmatyping
Copy link

I wrote only basic tests, so if you want more let me know.

Copy link
Owner

@gvanrossum gvanrossum left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! Łukasz is not convinced that we should do this, but I'm pushing back on it, so I think we should still do this in our branch. We can easily take it out if he convinces me.

@gvanrossum gvanrossum merged commit 6d3f535 into gvanrossum:pep585 Jan 31, 2020
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