Merge branch 'Mario/casing_disconect_fix' into 'master'
authorterencehill <piuntn@gmail.com>
Sun, 24 May 2020 18:17:24 +0000 (18:17 +0000)
committerterencehill <piuntn@gmail.com>
Sun, 24 May 2020 18:17:24 +0000 (18:17 +0000)
Possibly fixes #1925, seeing as the disconnect is rare it is unknown whether this fix truly solves it, needs testing.

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


Trivial merge