11:47 <@heinrich5991> minus: please ban 85.15.140.9:8887, it is reporting more players than it has 11:47 <@heinrich5991> (see also https://www.teeworlds.com/forum/viewtopic.php?pid=120704#p120704, but I double-checked) 12:04 <@minus> done