fix custom signal handling, which was broken after #166#216
Merged
dimpase merged 3 commits intosagemath:mainfrom Jan 14, 2025
Merged
fix custom signal handling, which was broken after #166#216dimpase merged 3 commits intosagemath:mainfrom
dimpase merged 3 commits intosagemath:mainfrom