]> source.dussan.org Git - rspamd.git/commitdiff
Merge pull request #3439 from moisseev/webui
authorVsevolod Stakhov <vsevolod@highsecure.ru>
Fri, 17 Jul 2020 09:43:30 +0000 (10:43 +0100)
committerGitHub <noreply@github.com>
Fri, 17 Jul 2020 09:43:30 +0000 (10:43 +0100)
[WebUI] Map editor further improvements


Trivial merge