Teeworlds
discord.gg/teeworlds / development
For discussions around the development of the official Teeworlds
Between 2019-01-24 00:00:00Z and 2019-01-25 00:00:00Z
GitHub
BOT
2019-01-24 22:23:46Z
nheir
[teeworlds/teeworlds] Issue opened: #1995 Empty servers with bots are considered non empty
From server browser, with "Hide bots" and "Has people playing" enabled, server with bots are still listed. Either "Has people playing", or the conjunction of "Hide bots" and "Has people playing" has to be enough to filter them
GitHub
BOT
2019-01-24 23:21:03Z
Ryozuki
[teeworlds/teeworlds] Pull request opened: #1996 Remove the no longer used info.png from cmake
Exported 2 message(s)
