Processed: Re: Bug#803208: info: mouse unusable after exiting info with C-c
Processing commands for control@bugs.debian.org:
> forcemerge 797872 803208
Bug #797872 [info] info: please add an option to disable mouse support
Bug #803208 [info] info: mouse unusable after exiting info with C-c
Added tag(s) pending.
Merged 797872 803208
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
797872: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=797872
803208: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803208
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: