Use cysignals hook#117

Merged

dimpase merged 5 commits intomasterfrom

use_cysignals_hook

Nov 2, 2022

Commits on May 30, 2022

test with new cysignals version
Jonathan Kliem
committed
call cysignals hook
Jonathan Kliem
committed

Commits on May 31, 2022

specify that variables are global
Jonathan Kliem
committed

Commits on Jun 2, 2022

bump version
Jonathan Kliem
committed

Commits on Nov 2, 2022

Merge branch 'master' into use_cysignals_hook
dimpase
authored