From: Mario Date: Tue, 4 Aug 2015 05:23:22 +0000 (+0000) Subject: Merge branch 'BuddyFriendGuy/mapStringFilter' into 'master' X-Git-Tag: xonotic-v0.8.1~23 X-Git-Url: http://de.git.xonotic.org/?p=xonotic%2Fxonotic-data.pk3dir.git;a=commitdiff_plain;h=ff442844108257ce535eae6dc08eaf659ff5efd7 Merge branch 'BuddyFriendGuy/mapStringFilter' into 'master' request merging BuddyFriendGuy's map string filter This is the feature for the multi-user game creation tab. It filters the list of the maps by a user-provided string. See merge request !117 --- ff442844108257ce535eae6dc08eaf659ff5efd7