From 9d08703f6f537f62315dcc9d65d720082fc424fe Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Juhani=20Krekel=C3=A4?= <juhani@krekelä.fi>
Date: Sat, 1 Jun 2019 22:39:51 +0300
Subject: [PATCH] Send a message on bot removal

---
 gameloop.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gameloop.py b/gameloop.py
index b2b6931..f9a40ba 100644
--- a/gameloop.py
+++ b/gameloop.py
@@ -376,6 +376,7 @@ def game(send, notice, voice, devoice, get_event):
 			name, = args
 			if name in bots:
 				del bots[name]
+				send('Bot %s removed' % name)
 			else:
 				send('No such bot %s' % name)