Re: [sr-dev] ™ delete_timer obsolete?