Processed: Re: Bug#508097: I'm still active. :-)

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

Processing commands for control@bugs.debian.org:

> severity 508097 serious
Bug #508097 [wnpp] O: w9wm -- Enhanced window manager based on 9wm
Severity set to 'serious' from 'normal'

> retitle 508097 w9wm: should this package be removed?
Bug #508097 [wnpp] O: w9wm -- Enhanced window manager based on 9wm
Changed Bug title to 'w9wm: should this package be removed?' from 'O: w9wm -- Enhanced window manager based on 9wm'
> user debian-qa@lists.debian.org
Setting user to debian-qa@lists.debian.org (was jhr@debian.org).
> usertag 508097 proposed-removal
Bug#508097: w9wm: should this package be removed?
There were no usertags set.
Usertags are now: proposed-removal.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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