Skip to content

Fix the error manager: allow same error and sub-error if created by d…#203

Merged
florinmihut merged 1 commit intomainfrom fix/error_managerSep 23, 2024