]> source.dussan.org Git - rspamd.git/commitdiff
Merge pull request #1397 from moisseev/webui
authorVsevolod Stakhov <vsevolod@highsecure.ru>
Mon, 6 Feb 2017 15:21:45 +0000 (15:21 +0000)
committerGitHub <noreply@github.com>
Mon, 6 Feb 2017 15:21:45 +0000 (15:21 +0000)
[WebUI] Add server selector to navbar


Trivial merge