Processed: Re: Bug#825100: gnome-shell: edge-scrolling doesn't work anymore since gnome-shell 3.20

Mon May 23 16:15:12 UTC 2016

Processing control commands:

> reassign -1 gnome-control-center
Bug #825100 [gnome-shell] gnome-shell: edge-scrolling doesn't work anymore since gnome-shell 3.20
Bug reassigned from package 'gnome-shell' to 'gnome-control-center'.
No longer marked as found in versions gnome-shell/3.20.2-1.
Ignoring request to alter fixed versions of bug #825100 to the same values previously set
> forcemerge 821352 -1
Bug #821352 [gnome-control-center] edge-scrolling can no longer be configured
Bug #825100 [gnome-control-center] gnome-shell: edge-scrolling doesn't work anymore since gnome-shell 3.20
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=761461'.
Severity set to 'important' from 'normal'
Marked as found in versions gnome-control-center/1:3.19.92-1.
Merged 821352 825100

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