Processed: your mail

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 748874 serious
Bug #748874 [gnome-shell] gnome-shell: Can't power off from user menu
Severity set to 'serious' from 'normal'
> reassign 748874 policykit-1 0.112-1
Bug #748874 [gnome-shell] gnome-shell: Can't power off from user menu
Bug reassigned from package 'gnome-shell' to 'policykit-1'.
No longer marked as found in versions gnome-shell/3.12.2-1, gnome-shell/3.12.2-2, gnome-shell/3.8.4-8.1, and gnome-shell/3.8.4-8.
Ignoring request to alter fixed versions of bug #748874 to the same values previously set
Bug #748874 [policykit-1] gnome-shell: Can't power off from user menu
Marked as found in versions policykit-1/0.112-1.
> merge 748874 749028
Bug #748874 [policykit-1] gnome-shell: Can't power off from user menu
Bug #748874 [policykit-1] gnome-shell: Can't power off from user menu
Marked as fixed in versions policykit-1/0.112-2.
Bug #749028 [policykit-1] gnome-shell : Authentication pop-up not displayed
Merged 748874 749028
> thanks
Stopping processing here.

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