Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
feat: terminate command and interfaces #559
This is related to #432 and adds the
I decided to do this on smaller PRs.
On this PR:
What's missing to do on separate PRs: