bors[bot] dcd0976159 Merge #2397 ... 2397: Update game id when updating team score r=heinrich5991 a=def- Co-authored-by: def <dennis@felsin9.de>		2020-06-27 20:47:00 +00:00
..
antibot	Some antibot fixes	2020-05-16 00:39:17 +02:00
base	Fix str_format on mingw	2020-06-22 14:47:40 +02:00
engine	Merge #2390	2020-06-27 20:31:29 +00:00
game	Merge #2397	2020-06-27 20:47:00 +00:00
mastersrv	Fixes and stress improvements	2018-12-17 20:05:50 +01:00
osx	Fix Mac OS X notifications linking	2020-04-30 21:30:21 +02:00
osxlaunch	Streamline platform client	2020-03-28 02:20:16 +03:00
test	Add save/load teehistorian test	2020-06-26 00:01:12 +02:00
tools	Merge #2301	2020-06-23 23:30:34 +00:00
twping	Consider time_freq()	2020-06-17 20:56:29 +03:00