]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3112 from bdarnell/fix-docs
authorBen Darnell <ben@bendarnell.com>
Tue, 8 Feb 2022 02:45:08 +0000 (21:45 -0500)
committerGitHub <noreply@github.com>
Tue, 8 Feb 2022 02:45:08 +0000 (21:45 -0500)
web: Fix type annotation for docs build


Trivial merge