]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3316 from bdarnell/fix-docs-build
authorBen Darnell <ben@bendarnell.com>
Wed, 23 Aug 2023 00:17:22 +0000 (20:17 -0400)
committerGitHub <noreply@github.com>
Wed, 23 Aug 2023 00:17:22 +0000 (20:17 -0400)
docs: Fix build after readthedocs/readthedocs.org#10638


Trivial merge