Processed: Re: [Pkg-xfce-devel] Bug#401417: accessibility: terminal preferences dialog requires mouse

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

Processing commands for control@bugs.debian.org:

> severity 401417 normal
Bug#401417: accessibility: terminal preferences dialog requires mouse
Severity set to `normal' from `important'

> forwarded 401417 http://bugzilla.xfce.org/show_bug.cgi?id=2399
Bug#401417: accessibility: terminal preferences dialog requires mouse
Noted your statement that Bug has been forwarded to http://bugzilla.xfce.org/show_bug.cgi?id=2399.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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