Processing commands for control@bugs.debian.org: > notfound 256862 4:3.3.2-1 Bug#256862: KDE "Menu Editor" doesn't edit the menu. Bug marked as not found in version 4:3.3.2-1. > thanks Stopping processing here. Please contact me if you need assistance. Debian bug tracking system administrator (administrator, Debian Bugs database)