Merge branch 'slava/pr-fix-lava-bug' into 'master'
authorMario <mario.mario@y7mail.com>
Fri, 17 Apr 2020 12:46:55 +0000 (12:46 +0000)
committerMario <mario.mario@y7mail.com>
Fri, 17 Apr 2020 12:46:55 +0000 (12:46 +0000)
Fix bug with lava and flag

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


Trivial merge