Processed: user release.debian.org@packages.debian.org, usertagging 547358 ...

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

Processing commands for control@bugs.debian.org:

> user release.debian.org@packages.debian.org
Setting user to release.debian.org@packages.debian.org (was he@debian.org).
> usertags 547358 + rm
Bug#547358: destar: security buggy, dead maintainer/upstream
There were no usertags set.
Usertags are now: rm.
> retitle 547358 RM: destar: security buggy, dead maintainer/upstream
Bug #547358 [release.debian.org] destar: security buggy, dead maintainer/upstream
Changed Bug title to 'RM: destar: security buggy, dead maintainer/upstream' from 'destar: security buggy, dead maintainer/upstream'
>
End of message, stopping processing here.

Please contact me if you need assistance.

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