From cb7f585febc5cc49ff5ac32be246c256407c1467 Mon Sep 17 00:00:00 2001 From: Dirk Alders Date: Mon, 25 Dec 2023 07:26:31 +0100 Subject: [PATCH] Fix for grouped devices --- devdi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/devdi b/devdi index 7e4f92a..5a94efb 160000 --- a/devdi +++ b/devdi @@ -1 +1 @@ -Subproject commit 7e4f92aaf1cd1dd2626e2b3337277eddfc37578e +Subproject commit 5a94efbc8c4ca7e1a7ef6f40df53177717bb7c16