chiark / gitweb /
timer: when deserializing timer state stay elapsed when we are elapsed