Skip to content

Conversation

@gvanrossum
Copy link
Member

No description provided.

@gvanrossum
Copy link
Member Author

Still blocked until this run cleanly against our internal codebase. The biggest issue may be sqlalchemy.

@gvanrossum
Copy link
Member Author

This is no longer blocked -- our internal codebase passes cleanly now. @JelleZijlstra mind merging or approving? (it's fine to wait for AppVeyor. :-)

@JelleZijlstra
Copy link
Member

I don't have write access to mypy, so I can't merge. The changes look good to me though.

@gvanrossum gvanrossum merged commit c6c201c into master Mar 28, 2017
@gvanrossum gvanrossum deleted the syncts branch March 28, 2017 16:11
@gvanrossum
Copy link
Member Author

Thanks!

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