garrynewman/garrysmod — pull request #719 by Jvs34 (2014-06-06 13:46:47+00:00)
Title: Player:Remove() kicks the player instead of removing the entity.

This is mostly for the upcoming scripted player bots and also fixes a few scripters' bad habits of removing players and leaving the actual clients still connected ingame unable to do anything.