make RustNotify a context manager and kill the thread on exit#164
Merged
samuelcolvin merged 5 commits intomainfrom RustNotify-context-managerJun 25, 2022
+132-52
Commits
Commits on Jun 22, 2022
Commits on Jun 23, 2022
- committed
- committed
Commits on Jun 25, 2022
- committed