From 3c0fa2b603913c8cce11add7b86b5056dc523d61 Mon Sep 17 00:00:00 2001 From: Hans Dembinski Date: Tue, 16 Aug 2022 17:49:01 +0200 Subject: [PATCH] root update (#786) --- extern/root | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/extern/root b/extern/root index 6af301445..d0b406db5 160000 --- a/extern/root +++ b/extern/root @@ -1 +1 @@ -Subproject commit 6af301445c491f6b3627d8885f091ba0fb64ac85 +Subproject commit d0b406db5e678a2eed8eee0de3ddfdee746ea568