Processed: Re: Bug#440420: [PROPOSAL] Manual page encoding

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

Processing commands for control@bugs.debian.org:

> retitle 440420 [AMENDMENT 11/02/2008] Manual page encoding
Bug#440420: [PROPOSAL] Manual page encoding
Changed Bug title to `[AMENDMENT 11/02/2008] Manual page encoding' from `[PROPOSAL] Manual page encoding'.

> severity 440420 normal
Bug#440420: [AMENDMENT 11/02/2008] Manual page encoding
Severity set to `normal' from `wishlist'

> thanks
Stopping processing here.

Please contact me if you need assistance.

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