]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3134 from srittau/wsgi-types
authorBen Darnell <ben@bendarnell.com>
Fri, 22 Apr 2022 14:27:40 +0000 (10:27 -0400)
committerGitHub <noreply@github.com>
Fri, 22 Apr 2022 14:27:40 +0000 (10:27 -0400)
Import WSGI types from _typeshed.wsgi


Trivial merge