Processed: Re: Bug#1142713: gnome-shell: logout button not displayed in quick menu on single-user host

[Debian Bug Tracking System]

Processing control commands:

> severity -1 wishlist
Bug #1142713 [gnome-shell] gnome-shell: logout button not displayed in quick menu on single-user host
Severity set to 'wishlist' from 'normal'
> tags -1 + upstream
Bug #1142713 [gnome-shell] gnome-shell: logout button not displayed in quick menu on single-user host
Ignoring request to alter tags of bug #1142713 to the same tags previously set
> forwarded -1 https://gitlab.gnome.org/Teams/Design/whiteboards/-/work_items/378
Bug #1142713 [gnome-shell] gnome-shell: logout button not displayed in quick menu on single-user host
Set Bug forwarded-to-address to 'https://gitlab.gnome.org/Teams/Design/whiteboards/-/work_items/378'.

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