emeryberger merged plasma-umass/scalene#1012 · March 3, 2026 20:10 Fix Windows timer thread shutdown (#991) #1012 SummaryReplace time.sleep() with threading.Event.wait() in Windows timer and memory polling threads so stop_timer_thread() / stop_windows_memory_… +20 -7