7.71.6

Several updates have been done:

• There is now a filter in the server list to show active servers only
• It's easier to see the number of real players in the server list
• The server list sorts on (real) player count, ping by default
• The newsfeed can show colors now
• The antilag has been optimized
• The explosion and pain distortion effects are now off by default
• The player setup shows up at more places

7.71.5

Changes for 7.71.5