From 50a7d68b8a0419ec8c55609f5bc7649043a866fd Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Christoph=20M=C3=BCllner?= <christoph.muellner@vrull.eu>
Date: Mon, 13 Oct 2025 16:58:41 +0200
Subject: [PATCH] Bump DejaGNU to latest commits
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

There have been a few commits for DejaGNU recently.
Let's add them to avoid issues with unadvertised objects in the CI/CD builds.

Fixes #1783.

Signed-off-by: Christoph Müllner <christoph.muellner@vrull.eu>
---
 dejagnu | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dejagnu b/dejagnu
index 98d75813f06..3ea7702a75a 160000
--- a/dejagnu
+++ b/dejagnu
@@ -1 +1 @@
-Subproject commit 98d75813f06ff2b0bb0d721558fce51db7e9ca6e
+Subproject commit 3ea7702a75a6b7a51a70a9e91c20eeff339ad007