Restoring the old error handler in Errors.catch_errors_aux#2965

Merged

nikswamy merged 2 commits intomasterfrom nik_catch_errors

Jun 15, 2023

+63-15

Commits on Jun 14, 2023

with @mtzguido , fixing Errors.catch_errors_aux, so that it finally restores the original error handler
nikswamy
committed
Merge remote-tracking branch 'origin/master' into nik_catch_errors
nikswamy
committed