]> git.ipfire.org Git - thirdparty/tornado.git/commitdiff
Merge pull request #1495 from stevepeak/master
authorBen Darnell <ben@bendarnell.com>
Wed, 26 Aug 2015 13:16:31 +0000 (15:16 +0200)
committerBen Darnell <ben@bendarnell.com>
Wed, 26 Aug 2015 13:16:31 +0000 (15:16 +0200)
use Codecov as coverage provider


Trivial merge