]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #2767 from bdarnell/fix-lint
authorBen Darnell <ben@bendarnell.com>
Sun, 3 Nov 2019 15:49:55 +0000 (10:49 -0500)
committerGitHub <noreply@github.com>
Sun, 3 Nov 2019 15:49:55 +0000 (10:49 -0500)
demos: Fix lint in webspider demo


Trivial merge