Skip to content

Emit less exit statements, notably for preludes - #263

Merged
Gbury merged 2 commits into
masterfrom
exit_cleanup
Aug 4, 2026
Merged

Emit less exit statements, notably for preludes#263
Gbury merged 2 commits into
masterfrom
exit_cleanup

Conversation

@Gbury

@Gbury Gbury commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Should solve #248

@Gbury
Gbury merged commit f7d9fd5 into master Aug 4, 2026
30 of 31 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant