From 7b30927a12608df6fe02fdd522c077fd9fe3eadd Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Fri, 21 Feb 2020 19:45:20 +0100 Subject: [PATCH] sci: add when-some and if-some --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index cdca1bc2..eebb4566 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit cdca1bc28b071163333b6c352430cec544c3c5ae +Subproject commit eebb456628beb2ac0d1e31c2be46ee0683b9ee7a