From 63212a250b4895a46bc95139a470e05cf7a1a043 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Wed, 26 Jan 2022 10:19:35 +0100 Subject: [PATCH] Add halt-when --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 9443243c..8ed7fc34 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 9443243cf4f1bca04fdb559bdb78ea237270fcb0 +Subproject commit 8ed7fc34b08ac73924e555769baa8d99794a34e1