From 1b3dabfcd2980cd9fee26d9a627e92230ab012c7 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Sat, 17 Oct 2020 15:50:12 +0200 Subject: [PATCH] [borkdude/sci#428] Add *print-namespace-maps* --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index ac0b4a1c..ddae047d 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit ac0b4a1c8cb9b7c1682254215aa578ed2c5ae885 +Subproject commit ddae047d50071fa2336ca9f7b838ca48180055b9