JKab/Timer — pull request #1 by JKab (2014-06-19 13:37:58+00:00)
Title: if timer is paused, do not reset on !tpto

There is no point of doing so, because you can still reach the player in noclip.