Processed (with 1 errors): handling #67312 as feature request

[GNU bug tracker automated control server]

Processing commands for control@debbugs.gnu.org:

> package dejagnu
Ignoring bugs not assigned to: dejagnu

> retitle 67312 feature request:  avoid creating logs when there are no
Bug #67312 [dejagnu] dejagnu creates testrun.{sum,log}
Changed bug title to 'feature request:  avoid creating logs when there are no' 
from 'dejagnu creates testrun.{sum,log}'
> tests to run
Unknown command or malformed arguments to command.

> severity 67312 wishlist
Bug #67312 [dejagnu] feature request:  avoid creating logs when there are no
Severity set to 'wishlist' from 'normal'

> thanks
Stopping processing here.

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

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