From 988ffce82dbeecfbb85bc0df114a425b4ea0ecb1 Mon Sep 17 00:00:00 2001 From: Alex Nelson Date: Fri, 14 Jun 2024 13:42:15 -0400 Subject: [PATCH] Bump develop pointer No effects were observed on Make-managed files. References: * https://github.com/ucoProject/UCO/issues/586 * https://github.com/ucoProject/UCO/issues/590 Signed-off-by: Alex Nelson --- dependencies/CASE-develop | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dependencies/CASE-develop b/dependencies/CASE-develop index 50eb05b..5cf57b7 160000 --- a/dependencies/CASE-develop +++ b/dependencies/CASE-develop @@ -1 +1 @@ -Subproject commit 50eb05b4ea9d85017196d2dba679eb33dcee2b72 +Subproject commit 5cf57b72e218c07c077b0b73eb988c291128231d