Bug#651059: Acknowledgement (gnome-panel: Please reduce the size of the user status menu)

[Marcus Comstedt]

Hi.

I created a patch to make the user menu title configurable (I didn't
create a preference dialog, but at least it can be set manually with
gsettings).

https://github.com/zeldin/gnome-panel/blob/f5ae6375d077cf13e03f0af2888edbbeba6e9357/debian/patches/13_configurable_user_menu_title.patch


  // Marcus