progress: fix possible race in Stop(); fixes #322#332

Merged

jedib0t merged 1 commit intomainfrom progress-race

Oct 2, 2024

+41-35

Commits on Oct 2, 2024

progress: fix possible race in Stop(); fixes #322
jedib0t
committed