From 4d686b8e5cda03f31653d85050ce2c4d9c17652e Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 25 Dec 2020 17:27:11 +0100 Subject: [PATCH] sci: minor enhancement to def --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index ce422639..ff6d8cb6 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit ce42263910c3f9dbc5ec67b245d8d39e9a9e8f71 +Subproject commit ff6d8cb6b5286a6b0ec62e1b74a44d630345a764