Skip to content

Conversation

@gvanrossum
Copy link
Member

@gvanrossum gvanrossum commented May 1, 2020

@pablogsal
Copy link
Member

Seems that there are some merge conflicts with the feature_version stuff

@pablogsal pablogsal merged commit d9d6ead into master May 1, 2020
@pablogsal pablogsal deleted the fix-tok-type-comments-flag branch May 1, 2020 16:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants