From 6ef3a99fc2304d059de9fe810cf67e9d186a5aec Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Fri, 7 Jul 2023 08:44:58 -0400 Subject: [PATCH] Bump unstable pointer No effects were observed on Make-managed files. References: * https://github.com/ucoProject/UCO/issues/536 Signed-off-by: Alex Nelson --- dependencies/CASE-unstable | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dependencies/CASE-unstable b/dependencies/CASE-unstable index e539ae8..b3fa35f 160000 --- a/dependencies/CASE-unstable +++ b/dependencies/CASE-unstable @@ -1 +1 @@ -Subproject commit e539ae870e6510087d545d90cf9c0cf73e9cd85c +Subproject commit b3fa35f613c7820b0078f903128a07359691885b