Processing commands for cont...@bugs.debian.org:
> severity 692904 important
Bug #692904 [tilda] tilda cannot use any show/hide hotkey with Ctrl
("<Primary>")
Severity set to 'important' from 'grave'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
692904: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=692904
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems
--
To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
