tree bc6edcda74fbeddac2efcd6c87788979fc876e4e
parent b8e02bd9b8669794759accdced54abd559d540a1
author Thomas Grainger <tagrain@gmail.com> 1505860227 +0100
committer Guido van Rossum <guido@python.org> 1505860227 -0700

mypy_extensions are universal (#3764)