Hi Tobias, Debian Bug Tracking System <owner@bugs.debian.org> (2018-01-14): > 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. Thanks for bringing our attention onto this bug report. I've just uploaded a fix for this issue, also adjusting optimization level (let's see if there's something else broken…) and the Uploaders field (more on this in reply to your other mail). Also: Thanks, Anatolii & Simon! Cheers, -- Cyril Brulebois (kibi@debian.org) <https://debamax.com/> D-I release manager -- Release team member -- Freelance Consultant
Attachment:
signature.asc
Description: PGP signature