Skip to content

fix: a background record could be killed at exit; add flush() - #12

Merged
hugo8xx merged 1 commit into
mainfrom
fix/flush-background-records
Aug 25, 2026
Merged

fix: a background record could be killed at exit; add flush()#12
hugo8xx merged 1 commit into
mainfrom
fix/flush-background-records

fix: a background record could be killed at exit; add flush()

a8d7454
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar