Subject: bug administrivia 2020-06-30

From: Jacob Bachmeyer <[email-masked]>
Date: Wed, 01 Jul 2020 00:28:27 -0500

package dejagnu

# Rob fixed it before I could get CVS set up
owner 41823 [email-masked]

# have patched these; waiting for patches to land on master
owner 41914 !
owner 41918 !

send-detail 41823
send-detail 41914

thanks