add ER_SIGNAL_EXCEPTION for unhandled user-defined exceptions#192
Merged
wojtekmach merged 1 commit intoJul 29, 2024
Merged
ER_SIGNAL_EXCEPTION for unhandled user-defined exceptions#192