From c9f4b51369b6da98083b6e210c7e6eee55afaaa6 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 28 Jan 2022 17:16:55 +0100 Subject: [PATCH] SCI: less locals --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index b1dfa515..ddc1d11d 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit b1dfa515d0a4eab82a5bc7660ca7e17ef07083c1 +Subproject commit ddc1d11d6fa05afe9701fb7b7dac72cf9f8b34e9