Skip to content

abort at end of custom_terminate_handler (#961)

Wuttke, Joachim requested to merge j.1 into main

This resolves #961 (closed).

Merge request reports