bug#33599: PATCH: Fix Info links
Ben Elliston <[email protected]> Tue, 4 Dec 2018 08:06:18 +1100
| Newsgroups | gmane.comp.sysutils.dejagnu.bugs |
|---|---|
| Message-ID | <20181203210618.GA17655@bapbop> |
Fixed in commit f6341032. Ben