Skip to content
This repository has been archived by the owner on Jan 26, 2024. It is now read-only.

Add an API for terminating tasks #72

Open
wants to merge 20 commits into
base: releases
Choose a base branch
from
Open
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants