Skip to content

Speed up exit when --time is used#268

Merged
acogoluegnes merged 2 commits intomainfrom
fast-shutdown
Jan 19, 2023

Commits

Commits on Jan 19, 2023