Teeworlds
discord.gg/teeworlds / development
For discussions around the development of the official Teeworlds
Between 2019-12-06 00:00:00Z and 2019-12-07 00:00:00Z
GitHub
BOT
2019-12-06 17:31:40Z
oy
[teeworlds/teeworlds] Pull request closed: #2295 Fix typo 'handle'
17:31
oy
[teeworlds:master] 2 new commits
489baf2
Fix typo 'handle' - ChillerDragon
e785cdf
Merge pull request #2295 from ChillerDragon/pr_... - oy
GitHub
BOT
2019-12-06 17:44:42Z
oy
[teeworlds/teeworlds] Pull request closed: #2296 Add str_startswith_nocase and str_endswith_nocase
17:44
oy
[teeworlds:master] 3 new commits
5f75806
Add str
startswith_nocase and str_endswith_nocase - ChillerDragon
7214209
'str_comp_nocase_num' -> 'str_startswith_nocase' - ChillerDragon
598dc9f
Merge pull request #2296 from ChillerDragon/pr
... - oy
GitHub
BOT
2019-12-06 20:43:57Z
Dune-jr
[teeworlds/teeworlds] Pull request opened: #2301 Change browser default sort criterion to descending player count
Fixes a lot of "can't find any server" from russians/americans who didn't scroll down far enough. Also, the "All" tab should be opened by default to clear up some confusion
20:49
oy
[teeworlds/teeworlds] Pull request closed: #2301 Change browser default sort criterion to descending player count
20:49
oy
[teeworlds:master] 2 new commits
7ebd612
Change browser default sort criterion to descen... - Dune-jr
e4ac666
Merge pull request #2301 from Dune-jr/task-chan... - oy
GitHub
BOT
2019-12-06 21:06:06Z
oy
[teeworlds:master] 1 new commit
eb79b4b
expand the 'All' filter tab by default - oy
Exported 8 message(s)