]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #3208 from bdarnell/pin-tox
authorBen Darnell <ben@bendarnell.com>
Sat, 17 Dec 2022 03:15:41 +0000 (22:15 -0500)
committerGitHub <noreply@github.com>
Sat, 17 Dec 2022 03:15:41 +0000 (22:15 -0500)
ci: Various dependency-related updates


Trivial merge