Teeworlds: 0.7.2 released - Christmas special

We have a Christmas surprise for you this year, open it! It comes with a much more colorful server browser, demo marker indicators in the menus, a console option to use raw mouse inputs (inp_grab, now reverted to 0.6 by…