Bug#876388: Processed: retitle 876388 to discover: segfaults, severity of 876388 is grave

2018-01-14 Thread Cyril Brulebois
Hi Tobias, Debian Bug Tracking System (2018-01-14): > Processing commands for cont...@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 >

Processed: retitle 876388 to discover: segfaults, severity of 876388 is grave

2018-01-14 Thread Debian Bug Tracking System
Processing commands for cont...@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 he