Processed: retitle 876388 to discover: segfaults, severity of 876388 is grave
Processing commands for control@bugs.debian.org:
> retitle 876388 discover: segfaults
Bug #876388 [discover] (no subject)
Set Bug title to 'discover: segfaults'.
> severity 876388 grave
Bug #876388 [discover] discover: segfaults
Severity set to 'grave' from 'normal'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
876388: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=876388
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: