Processed: reassign 712795 to gnome-menus, forcibly merging 711605 712795

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 712795 gnome-menus
Bug #712795 [gnome-calculator] gnome-calculator: Not listed on Gnome Shell applications list
Bug reassigned from package 'gnome-calculator' to 'gnome-menus'.
No longer marked as found in versions gnome-calculator/3.8.2-1.
Ignoring request to alter fixed versions of bug #712795 to the same values previously set
> forcemerge 711605 712795
Bug #711605 {Done: Emilio Pozuelo Monfort <pochu at debian.org>} [gnome-menus] gnome-menus: Calculator missing from Accessories, supposedly moved to Utilities but not there
Bug #705390 {Done: Emilio Pozuelo Monfort <pochu at debian.org>} [gnome-menus] gnome-calculator: gnome-applications.menu (from /etc/sdg/menus) looking for gnome-calculator.desktop
Bug #712617 {Done: Emilio Pozuelo Monfort <pochu at debian.org>} [gnome-menus] gnome-calculator: Doesn't appear neither searching nor looking it up in applications/utilities
Bug #712795 [gnome-menus] gnome-calculator: Not listed on Gnome Shell applications list
Severity set to 'important' from 'normal'
Marked Bug as done
Marked as fixed in versions gnome-menus/3.8.0-2.
Marked as found in versions gnome-menus/3.8.0-1.
Bug #705390 {Done: Emilio Pozuelo Monfort <pochu at debian.org>} [gnome-menus] gnome-calculator: gnome-applications.menu (from /etc/sdg/menus) looking for gnome-calculator.desktop
Bug #712617 {Done: Emilio Pozuelo Monfort <pochu at debian.org>} [gnome-menus] gnome-calculator: Doesn't appear neither searching nor looking it up in applications/utilities
Merged 705390 711605 712617 712795
> thanks
Stopping processing here.

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