Processed: re: 793295

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

Processing commands for control@bugs.debian.org:

> severity 793295 wishlist
Bug #793295 [xterm] xterm: Menu font is too small on high-dpi screen
Severity set to 'wishlist' from 'normal'
> reassign 793295 libxaw7
Bug #793295 [xterm] xterm: Menu font is too small on high-dpi screen
Bug reassigned from package 'xterm' to 'libxaw7'.
No longer marked as found in versions xterm/318-2.
Ignoring request to alter fixed versions of bug #793295 to the same values previously set
> --
Stopping processing here.

Please contact me if you need assistance.
-- 
793295: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=793295
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems