bug#62982: now fixed in Git master

Jacob Bachmeyer <[email protected]> Thu, 20 Apr 2023 21:51:21 -0500
Newsgroups gmane.comp.sysutils.dejagnu.bugs
Message-ID <[email protected]>
Rml4ZWQgaW4gY29tbWl0IGMyOTg5NTllZjk5MWIzODliNjRhODI1ZjcwMDk0NzM4YzZhNDg3ODAu
CgoKCl9fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fCkJ1Zy1k
ZWphZ251IG1haWxpbmcgbGlzdApCdWctZGVqYWdudUBnbnUub3JnCmh0dHBzOi8vbGlzdHMuZ251
Lm9yZy9tYWlsbWFuL2xpc3RpbmZvL2J1Zy1kZWphZ251Cg==