Processed: bug administrivia 2020-06-30

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> package dejagnu
Ignoring bugs not assigned to: dejagnu

> # Rob fixed it before I could get CVS set up
> owner 41823 rob@senecass.com
Bug #41823 {Done: Rob Savoye <rob@senecass.com>} [dejagnu] broken links in 
https://www.gnu.org/software/dejagnu/#lists
Owner changed from jcb62281@gmail.com to rob@senecass.com.
> # have patched these; waiting for patches to land on master
> owner 41914 !
Bug #41914 {Done: Jacob Bachmeyer <jcb62281@gmail.com>} [dejagnu] [PATCH] 
Propagate return value of auto-loaded command
Owner recorded as jcb62281@gmail.com.
> owner 41918 !
Bug #41918 [dejagnu] [PATCH] Propagate error value of auto-loaded command
Owner recorded as jcb62281@gmail.com.
> send-detail 41823
Sending detailed logs for bug#41823.

> send-detail 41914
Sending detailed logs for bug#41914.

> thanks
Stopping processing here.

Please contact help-debbugs@gnu.org if you need assistance.

GNU bugs database, http://debbugs.gnu.org/