]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #2765 from jvansan:master
authorBen Darnell <ben@bendarnell.com>
Sun, 3 Nov 2019 14:51:18 +0000 (09:51 -0500)
committerGitHub <noreply@github.com>
Sun, 3 Nov 2019 14:51:18 +0000 (09:51 -0500)
Dead link handling in webspider example


Trivial merge