]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3303 from bdarnell/type-updates
authorBen Darnell <ben@bendarnell.com>
Thu, 27 Jul 2023 02:13:29 +0000 (22:13 -0400)
committerGitHub <noreply@github.com>
Thu, 27 Jul 2023 02:13:29 +0000 (22:13 -0400)
Update mypy/typeshed, update a few types


Trivial merge