Skip to content

Use shutdown() to exit on success.#25

Merged
davidlehn merged 2 commits intomainfrom
use-shutdown
Apr 6, 2026
Merged

Use shutdown() to exit on success.#25
davidlehn merged 2 commits intomainfrom
use-shutdown

Commits

Commits on Apr 6, 2026