More bots added #873

Merged
annando merged 4 commits from more-bots into 2019.09-rc 2019-08-19 11:23:04 +02:00
annando commented 2019-07-29 17:54:38 +02:00 (Migrated from github.com)
No description provided.
MrPetovan (Migrated from github.com) approved these changes 2019-07-29 18:02:43 +02:00
MrPetovan (Migrated from github.com) approved these changes 2019-08-07 08:44:21 +02:00
annando commented 2019-08-19 11:19:42 +02:00 (Migrated from github.com)

BTW: This one here is ready to be merged.

BTW: This one here is ready to be merged.
Sign in to join this conversation.
No description provided.