Skip to content

Add NoReturn to mypy_extensions#2637

Merged
gvanrossum merged 2 commits intomasterfrom
noreturn-extension
Jan 9, 2017
Merged

Add NoReturn to mypy_extensions#2637
gvanrossum merged 2 commits intomasterfrom
noreturn-extension

Commits

Commits on Jan 4, 2017