NorbiPeti b0c791e622 Did some old open issues ... #5 - Post if the server crashes #7 - When announcing a Reddit post, use Discord names, if known #9 - Print "full house" when full house		2017-07-19 13:26:22 +02:00
..
discordplugin	Did some old open issues	2017-07-19 13:26:22 +02:00