]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #2048 from bdarnell/option-redefinition
authorBen Darnell <ben@bendarnell.com>
Sun, 21 May 2017 02:50:12 +0000 (22:50 -0400)
committerGitHub <noreply@github.com>
Sun, 21 May 2017 02:50:12 +0000 (22:50 -0400)
options: Report redefinition errors when underscores are used


Trivial merge