Commit e3b2e0869ec4718eb0985444adf24e8c30bdeb92

Nick Mathewson 2012-11-16T16:15:03

Add an event_remove_timer() to remove timer on an event without deleting it