Processed: Reassign: Bug#1099665: gnome-shell-extensions-apps-menu: gnome has removed this package

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 gnome-shell-extension-apps-menu 48~rc-1
Bug #1099665 [gnome-shell-extensions-apps-menu] gnome-shell-extensions-apps-menu: gnome has removed this package
Warning: Unknown package 'gnome-shell-extensions-apps-menu'
Bug reassigned from package 'gnome-shell-extensions-apps-menu' to 'gnome-shell-extension-apps-menu'.
Ignoring request to alter found versions of bug #1099665 to the same values previously set
Ignoring request to alter fixed versions of bug #1099665 to the same values previously set
Bug #1099665 [gnome-shell-extension-apps-menu] gnome-shell-extensions-apps-menu: gnome has removed this package
Marked as found in versions gnome-shell-extensions/48~rc-1.

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