Merge pull request #1746 from cmuellner/dejagnu-jul25

Bump DejaGNU to latest commits
This commit is contained in:
Kito Cheng 2025-07-29 18:19:12 +08:00 committed by GitHub
commit d0ad15850a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

@ -1 +1 @@
Subproject commit 935a51f3c66ece357ce0d18f3aa3627a13cef7d5
Subproject commit 98d75813f06ff2b0bb0d721558fce51db7e9ca6e