Processed: Re: Bug#733947: hplip-gui: HP Toolbox is not found in Gnome 3 Activities Overview / search after installing hplip-gui

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 gnome-menus
Bug #733947 [hplip-gui] hplip-gui: HP Toolbox is not found in Gnome 3 Activities Overview / search after installing hplip-gui
Bug reassigned from package 'hplip-gui' to 'gnome-menus'.
No longer marked as found in versions hplip/3.13.11-2.
Ignoring request to alter fixed versions of bug #733947 to the same values previously set

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