Skip to content

fix(timer): restore Ctrl+C cancellation while the timer runs - #642

Merged
aversini merged 1 commit into
mainfrom
fix_timer_restore_ctrl_c_cancellation
Aug 8, 2026
Merged

fix(timer): restore Ctrl+C cancellation while the timer runs#642
aversini merged 1 commit into
mainfrom
fix_timer_restore_ctrl_c_cancellation

Commits

  1. Commits on Aug 8, 2026