]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3513 from oliver-sanders/3258.fix branch6.5
authorBen Darnell <ben@bendarnell.com>
Thu, 24 Jul 2025 20:43:55 +0000 (16:43 -0400)
committerGitHub <noreply@github.com>
Thu, 24 Jul 2025 20:43:55 +0000 (16:43 -0400)
websocket_ping: fix ping interval with non-zero timeout and improve docs


Trivial merge