bug#41587: Patch applied; closing report

bug-dejagnu

From:	Jacob Bachmeyer
Subject:	bug#41587: Patch applied; closing report
Date:	Tue, 30 Jun 2020 23:45:18 -0500
User-agent:	Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0

Fix landed on master at commit d37c15b4d569a3d70493653efe82a78c3550e903on 2020-05-28.

[Prev in Thread]

Current Thread

[Next in Thread]