Merge branch 'Mario/gametypes' into 'master'
authorMario <mario.mario@y7mail.com>
Fri, 17 Jul 2020 19:10:20 +0000 (19:10 +0000)
committerMario <mario.mario@y7mail.com>
Fri, 17 Jul 2020 19:10:20 +0000 (19:10 +0000)
Merge branch Mario/gametypes (L merge request)

See merge request xonotic/xonotic-data.pk3dir!840


Trivial merge