From 58665700a149bd18313c5d3f51c4d93fccc23497 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Christoph=20M=C3=BCllner?= Date: Wed, 15 Jan 2025 16:24:43 +0100 Subject: [PATCH] dejagnu: Bump version from ca371cf9c48 to 935a51f3c66e MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Christoph Müllner --- dejagnu | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dejagnu b/dejagnu index ca371cf9c48..935a51f3c66 160000 --- a/dejagnu +++ b/dejagnu @@ -1 +1 @@ -Subproject commit ca371cf9c48186716d26c8e10d442affaf002c80 +Subproject commit 935a51f3c66ece357ce0d18f3aa3627a13cef7d5