Browse Source

Merge pull request #1247 from patrick-rivos/multilib-dejagnu-fix

dejagnu: Bump dejagnu to include multilib fix
pull/1254/head
Kito Cheng 3 years ago
committed by GitHub
parent
commit
57699f1eef
No known key found for this signature in database GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      dejagnu

2
dejagnu

@ -1 +1 @@
Subproject commit 4b1aeb8672be74417f1b5f6a5683a0cf9071b39b
Subproject commit c298959ef991b389b64a825f70094738c6a48780
Loading…
Cancel
Save