Follow-up from MR !682: Replace exit() calls with exceptions (!760) · Merge requests · Sherpa Team / sherpa · GitLab

Peter Meinzinger requested to merge follow-up-MR-682 into master Sep 01, 2023

Description

these were the changes in !682 (closed) that not made it into !687 (merged)

Test Plan

Should pass the CI