Ruben Bermudez 777dc843ef Merge pull request #631 from jugendhacker/patch-jugendhacker-1 ... Fixed case insensitive usernames		2019-10-30 23:15:00 +00:00
..
commandbot	Added deprecated constructor with the old style	2019-10-13 15:12:22 +02:00
timedbot	Remove BotLogger	2019-07-27 13:19:54 +01:00