Processed: xterm: mouse pointer during typing

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

Processing commands for control@bugs.debian.org:

> severity 460545 normal
Bug#460545: xterm: Provide a way to NOT hide the mouse pointer
Severity set to `normal' from `minor'

> merge 461019 460545
Bug#460545: xterm: Provide a way to NOT hide the mouse pointer
Bug#461019: pointer hidden during typing is not quite (hidden)
Merged 460545 461019.

> thank you
Stopping processing here.

Please contact me if you need assistance.

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