_______________________________________________ Bug-dejagnu mailing list Bug-dejagnu@gnu.org https://lists.gnu.org/mailman/listinfo/bug-dejagnu
Fix landed on master at commit d37c15b4d569a3d70493653efe82a78c3550e903
on 2020-05-28.
- bug#41587: Configuring DejaGnu using a relative path cause... Jacob Bachmeyer
- bug#41587: Configuring DejaGnu using a relative path ... Rob Savoye
- bug#41587: Configuring DejaGnu using a relative p... Jacob Bachmeyer
- bug#41587: Patch applied; closing report Jacob Bachmeyer
