Processed: Re: Bug#803331: gnome-panel: In gnome-classic a lot of applications are missing from menu

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 gnome-shell-extensions 3.18.1-1
Bug #803331 [gnome-panel] gnome-panel: In gnome-classic a lot of applications are missing from menu
Bug reassigned from package 'gnome-panel' to 'gnome-shell-extensions'.
No longer marked as found in versions gnome-panel/3.18.1-1.
Ignoring request to alter fixed versions of bug #803331 to the same values previously set
Bug #803331 [gnome-shell-extensions] gnome-panel: In gnome-classic a lot of applications are missing from menu
Marked as found in versions gnome-shell-extensions/3.18.1-1.

-- 
803331: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=803331
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems