Skip to content

Merge branch 'fix_126' into '0.10'

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

Merge request reports