Fixed in commit f6341032. Ben
_______________________________________________ Bug-dejagnu mailing list [email protected] https://lists.gnu.org/mailman/listinfo/bug-dejagnu
- bug#33599: PATCH: Fix Info links Jacob Bachmeyer
- bug#33599: PATCH: Fix Info links Ben Elliston
