Commit 5623e803713507daec7e7109fbc573729c90501e

Nick Mathewson 2013-02-12T15:10:50

Make event_remove_timer behave correctly with persistent timers