Merge pull request #873 from annando/more-bots
authorTobias Diekershoff <tobias.diekershoff@gmx.net>
Mon, 19 Aug 2019 09:23:03 +0000 (11:23 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Aug 2019 09:23:03 +0000 (11:23 +0200)
More bots added


Trivial merge