Processed: reassign 517668 to debbugs, retitle 517668 to run dist option through distribution alias table ...

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

Processing commands for control@bugs.debian.org:

> reassign 517668 debbugs
Bug#517668: bugs.debian.org: dist=<codename> does not work?
Bug reassigned from package `bugs.debian.org' to `debbugs'.

> retitle 517668 run dist option through distribution alias table
Bug#517668: bugs.debian.org: dist=<codename> does not work?
Changed Bug title to `run dist option through distribution alias table' from `bugs.debian.org: dist=<codename> does not work?'.

> severity 517668 minor
Bug#517668: run dist option through distribution alias table
Severity set to `minor' from `normal'

>
End of message, stopping processing here.

Please contact me if you need assistance.

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