]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3202 from bdarnell/lint-update
authorBen Darnell <ben@bendarnell.com>
Mon, 28 Nov 2022 03:08:53 +0000 (22:08 -0500)
committerGitHub <noreply@github.com>
Mon, 28 Nov 2022 03:08:53 +0000 (22:08 -0500)
deps: Update linters


Trivial merge