Skip to content

Conversation

@ddfisher
Copy link
Collaborator

@ddfisher ddfisher commented Mar 8, 2017

It's no longer needed.

@gvanrossum
Copy link
Member

Monumental! Go ahead and merge it yourself when you are ready.

@gvanrossum
Copy link
Member

Can you rebase?

@gvanrossum gvanrossum merged commit a8c7947 into master Mar 13, 2017
@gvanrossum gvanrossum deleted the kill-old-parser branch March 13, 2017 21:20
@gvanrossum
Copy link
Member

Whee!

@JukkaL
Copy link
Collaborator

JukkaL commented Mar 13, 2017

🎉 Love to see so many deleted lines!

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.

4 participants