Processed: Re: Bug#193881: apt-utils: apt-fileutils broken

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> reassign 193881 apt
Bug#193881: apt-utils: apt-fileutils broken
Bug reassigned from package `apt-utils' to `apt'.

> severity 193881 grave
Bug#193881: apt-utils: apt-fileutils broken
Severity set to `grave'.

> close 193881
Bug#193881: apt-utils: apt-fileutils broken
'close' is deprecated; see http://www.debian.org/Bugs/Developer#closing.
Bug closed, send any further explanations to Christian Garbs <debian@cgarbs.de>

> retitle 193881 192373
Bug#193881: apt-utils: apt-fileutils broken
Changed Bug title.
(By the way, that Bug is currently marked as done.)

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)