]> source.dussan.org Git - rspamd.git/commitdiff
Merge pull request #812 from fatalbanana/circleci
authorVsevolod Stakhov <vsevolod@highsecure.ru>
Fri, 5 Aug 2016 15:09:33 +0000 (16:09 +0100)
committerGitHub <noreply@github.com>
Fri, 5 Aug 2016 15:09:33 +0000 (16:09 +0100)
[Minor] Small improvement for coverage flags


Trivial merge