2 commits

Author	SHA1	Message	Date
ANAND	67be903881	Fix collision boxes of dead players not being restored on new match (#508)	2019-11-15 14:07:49 +05:30
MinetestSam	2d6b16de43	Remove collision boxes of dead players (#468)	2019-10-09 19:19:03 +05:30