Skip to content

Go back to using the original, self-pipe based implementation of Interruptible#552

Merged
rosa merged 1 commit intomainfrom
revert-to-pipe-based-interruptible
Apr 20, 2025

Commits

Commits on Apr 20, 2025