Add halt!
to stop Clerk#43
Merged
mk merged 2 commits intonextjournal:main from SneakyPeet:stop-clerkJan 12, 2022
+20-8
Commits
Commits on Dec 30, 2021
- authored andPieter KoornhofcommittedPieter Koornhof
halt!
to stop Clerk#43