Zipcore/Timer — pull request #6 by JKab (2014-06-19 13:44:44+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.