Processing commands for control@bugs.debian.org: > found 374712 4:3.5.7-1 Bug#374712: khotkeys: Config menu does not start any more Bug marked as found in version 4:3.5.7-1. > stop Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)