Processed: gnome-terminal sends ^_ to the session when Ctrl-- is pressed and the font is not shrunk any further (was Re: Bug#692819: mksh: exits abnormally when receving some WINCH signal from gnome-terminal)

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> tags 692819 - upstream
Bug #692819 [mksh] mksh: exits abnormally when receving some WINCH signal from gnome-terminal
Removed tag(s) upstream.
> reassign 692819 gnome-terminal
Bug #692819 [mksh] mksh: exits abnormally when receving some WINCH signal from gnome-terminal
Bug reassigned from package 'mksh' to 'gnome-terminal'.
No longer marked as found in versions mksh/40.9.20120630-2.
Ignoring request to alter fixed versions of bug #692819 to the same values previously set
> found 692819 gnome-terminal/3.4.1.1-2
Bug #692819 [gnome-terminal] mksh: exits abnormally when receving some WINCH signal from gnome-terminal
Marked as found in versions gnome-terminal/3.4.1.1-2.
> retitle 692819 gnome-terminal: sends ^_ to the session when Ctrl-- is pressed and font is not shrunk any further
Bug #692819 [gnome-terminal] mksh: exits abnormally when receving some WINCH signal from gnome-terminal
Changed Bug title to 'gnome-terminal: sends ^_ to the session when Ctrl-- is pressed and font is not shrunk any further' from 'mksh: exits abnormally when receving some WINCH signal from gnome-terminal'
> thanks
Stopping processing here.

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