]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3283 from bdarnell/asyncio-types
authorBen Darnell <ben@bendarnell.com>
Mon, 19 Jun 2023 19:31:05 +0000 (15:31 -0400)
committerGitHub <noreply@github.com>
Mon, 19 Jun 2023 19:31:05 +0000 (15:31 -0400)
asyncio: Modernize type annotations


Trivial merge