Processed: Found in sid

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> found 648840 3.0.2-6
Bug #648840 [gnome-shell] gnome-shell: Execution of main.js threw exception: Type Error: imports is undefined
Bug Marked as found in versions gnome-shell/3.0.2-6.
> notfound 648840 3.0.2-5
Bug #648840 [gnome-shell] gnome-shell: Execution of main.js threw exception: Type Error: imports is undefined
Ignoring request to alter found versions of bug #648840 to the same values previously set
> thanks
Stopping processing here.

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