]> source.dussan.org Git - rspamd.git/commitdiff
Merge pull request #4160 from moisseev/webui
authorVsevolod Stakhov <vsevolod@rspamd.com>
Tue, 26 Apr 2022 19:04:01 +0000 (20:04 +0100)
committerGitHub <noreply@github.com>
Tue, 26 Apr 2022 19:04:01 +0000 (20:04 +0100)
[WebUI] Learn a random server of "All SERVERS"


Trivial merge