]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #2494 from mivade/user-guide-fix
authorBen Darnell <ben@bendarnell.com>
Sat, 15 Sep 2018 20:41:32 +0000 (16:41 -0400)
committerGitHub <noreply@github.com>
Sat, 15 Sep 2018 20:41:32 +0000 (16:41 -0400)
Fix run_in_executor call in user guide


Trivial merge