Skip to content
GitLab

Merge branch 'fix_126' into '0.10'

Merged payno requested to merge cherry-pick-d91ee751 into master

replace some exit by raising an error

See merge request !133 (merged)

(cherry picked from commit d91ee751)

743bd45f replace some exit by raising an error