Processed: Re: Bug#697099: menu: Wrong categorisation and duplication of menu items.

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 697099 menu-xdg
Bug #697099 [gnome-shell] menu: Wrong categorisation and duplication of menu items.
Bug reassigned from package 'gnome-shell' to 'menu-xdg'.
Ignoring request to alter found versions of bug #697099 to the same values previously set
Ignoring request to alter fixed versions of bug #697099 to the same values previously set
> forcemerge 696530 697099
Bug #696530 [menu-xdg] menu-xdg: Populates XDG user directory with system entries
Bug #697099 [menu-xdg] menu: Wrong categorisation and duplication of menu items.
Severity set to 'wishlist' from 'minor'
Marked as found in versions menu-xdg/0.5.
Added tag(s) patch.
Merged 696530 697099
> severity 697099 grave
Bug #697099 [menu-xdg] menu: Wrong categorisation and duplication of menu items.
Bug #696530 [menu-xdg] menu-xdg: Populates XDG user directory with system entries
Severity set to 'grave' from 'wishlist'
Severity set to 'grave' from 'wishlist'
> thanks
Stopping processing here.

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