Processed: notfound 743648 gnome-shell

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> notfound 743648 gnome-shell
Bug #743648 [mutter] mutter: Never try to focus a DOCK window in mutter
There is no source info for the package 'mutter' at version 'gnome-shell' with architecture ''
Unable to make a source version for version 'gnome-shell'
No longer marked as found in versions gnome-shell.
> kthxbye
Stopping processing here.

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