[pkg-cinnamon] Processed: merge bug

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> reassign 873517 cinnamon-session 3.2.0-4
Bug #873517 [cinnamon] cinnamon: can't change desktop background
Bug reassigned from package 'cinnamon' to 'cinnamon-session'.
No longer marked as found in versions cinnamon/3.2.7-4.
Ignoring request to alter fixed versions of bug #873517 to the same values previously set
Bug #873517 [cinnamon-session] cinnamon: can't change desktop background
Marked as found in versions cinnamon-session/3.2.0-4.
> severity 873517 important
Bug #873517 [cinnamon-session] cinnamon: can't change desktop background
Severity set to 'important' from 'normal'
> merge 873517 871460
Bug #873517 [cinnamon-session] cinnamon: can't change desktop background
Bug #873517 [cinnamon-session] cinnamon: can't change desktop background
Added tag(s) patch.
Bug #871460 [cinnamon-session] Gnome Settings 3.24 breaks Cinnamon power, fn keys, themes, fonts, backgrounds...
Bug #871547 [cinnamon-session] general: Can't change to any other background.
Bug #872029 [cinnamon-session] cinnamon-settings-daemon: does not remain running
Bug #872377 [cinnamon-session] cinnamon: Fn+FX settings keys not responding
Bug #872975 [cinnamon-session] cinnamon: some keyboard shortcuts do not work
Bug #873082 [cinnamon-session] cinnamon: switching display to external monitor does not work with recent update
Bug #873107 [cinnamon-session] by not running it prevents changing screen resolution, breaks the font scaling, keyboard hotkeys and center touchpad tap
Bug #873295 [cinnamon-session] function keys not working on debian testing/sid
Merged 871460 871547 872029 872377 872975 873082 873107 873295 873517
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
871460: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871460
871547: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=871547
872029: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872029
872377: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872377
872975: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872975
873082: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873082
873107: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873107
873295: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873295
873517: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873517
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems