Subject: dejagnu bug administrivia

From: Jacob Bachmeyer <[email-masked]>
Date: Mon, 25 May 2020 23:35:52 -0500

package dejagnu
# Lead maintainer has requested this, but sent a command to the bug 
address instead of a final response to 35069-done.
close 35069
# The following patches have been applied.
close 41295
close 41296
thanks

-- Jacob