From 9fba927ec8d1b9dddeb5e8265f6ba24c44419488 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Tue, 4 Oct 2022 16:42:47 +0200 Subject: [PATCH] sci: print-namespace-maps --- sci | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sci b/sci index 7452e4d3..2b987b90 160000 --- a/sci +++ b/sci @@ -1 +1 @@ -Subproject commit 7452e4d328d1be6c4d639ed34999ca714be1ba3c +Subproject commit 2b987b90df613daedf321c0987d8e4d5fe2465c6