From 3735135c050cd245e20641223b0f33cedf397204 Mon Sep 17 00:00:00 2001
From: Michiel Borkent <michielborkent@gmail.com>
Date: Fri, 27 Oct 2023 15:04:15 +0200
Subject: [PATCH] Bump SCI

---
 sci | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sci b/sci
index ef52fe64..a0ac1380 160000
--- a/sci
+++ b/sci
@@ -1 +1 @@
-Subproject commit ef52fe6412284d2f474596a93d486d263efaf17f
+Subproject commit a0ac13803a80882e7f8f0c56055ee8ea7380902f