Skip to content

Remove default terminate function - #717

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

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

Commits

Commits on Jul 12, 2025