------------------------------------------------------------------------
r7438 | terminx | 2019-03-19 11:22:06 -0700 (Tue, 19 Mar 2019) | 1 line

Work around issue where player sticks to the ceiling after jumping
------------------------------------------------------------------------
See http://svn.eduke32.com/listing.php?repname=eduke32 for more details.