]> source.dussan.org Git - rspamd.git/commitdiff
Merge pull request #718 from moisseev/dblext-options
authorVsevolod Stakhov <vsevolod@highsecure.ru>
Tue, 12 Jul 2016 17:21:06 +0000 (18:21 +0100)
committerGitHub <noreply@github.com>
Tue, 12 Jul 2016 17:21:06 +0000 (18:21 +0100)
[Minor] Fix MIME_DOUBLE_BAD_EXTENSION options


Trivial merge