Skip to content

Remove unused setjmp/logjmp#43

Merged
dhdaines merged 2 commits intomasterfrom
no_longjmp
Dec 1, 2022
Merged

Remove unused setjmp/logjmp#43
dhdaines merged 2 commits intomasterfrom
no_longjmp

Conversation

@dhdaines
Copy link
Contributor

@dhdaines dhdaines commented Dec 1, 2022

Nobody ever used this and it wasn't even in the header file...

@dhdaines dhdaines merged commit 63c2914 into master Dec 1, 2022
@dhdaines dhdaines deleted the no_longjmp branch December 8, 2022 20:30
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant