Skip to content

Two more pending timers nobody owned — one discarded, one only the next keystroke could cancel - #1007

Merged
rbuergi merged 5 commits into
mainfrom
fix/995-two-live-timer-leaks
Aug 9, 2026
Merged

rbuergi merged 5 commits into
mainfrom
fix/995-two-live-timer-leaks

Commits

  1. Commits on Aug 9, 2026