Skip to content

Remove default terminate function#717

Merged
jan-janssen merged 1 commit intomainfrom
remove_default_terminate
Jul 12, 2025
Merged

Remove default terminate function#717
jan-janssen merged 1 commit intomainfrom
remove_default_terminate

Commits

Commits on Jul 12, 2025