mirror of
https://github.com/urbit/shrub.git
synced 2024-11-28 13:54:20 +03:00
u3_Signal should be a sigjmp_buf, not a jmp_buf
This commit is contained in:
parent
bfdc49c190
commit
ea7bd8e695