https://issues.apache.org/bugzilla/show_bug.cgi?id=52019
--- Comment #2 from Philippe Mouawad <[email protected]> 2011-10-13 20:16:32 UTC --- Decided on dev list: - Add an Menu Option called "Run no pauses" which Runs with timers disabled -- Configure bugmail: https://issues.apache.org/bugzilla/userprefs.cgi?tab=email ------- You are receiving this mail because: ------- You are the assignee for the bug. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
