Processed: Renaming mux ITP to tinymux

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

Processing commands for control@bugs.debian.org:

> retitle 281283 ITP: tinymux -- The TinyMUX mush server
Bug#281283: ITP: mux -- The MUX mush server
Changed Bug title.

>
End of message, stopping processing here.

Please contact me if you need assistance.

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