diff --git a/sci b/sci index 2b8751f8..42bd17de 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 2b8751f8443948e618dfab354e980aadc912dcc4 +Subproject commit 42bd17def34633b03d663211693eff972c9735bb