Processing commands for cont...@bugs.debian.org: > forcemerge 821352 822081 822372 825100 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 Bug #822372 [gnome-control-center] mouse settings have no effect with Cirque Touchpad Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=761461'. Marked as found in versions gnome-control-center/1:3.19.92-1. Bug #825100 [gnome-control-center] gnome-shell: edge-scrolling doesn't work anymore since gnome-shell 3.20 Marked as found in versions gnome-control-center/1:3.20.1-1. Marked as found in versions gnome-control-center/1:3.20.1-1. Bug #822081 [gnome-control-center] gnome-control-center: Mouse settings have no effect since 3.20 Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=761461'. Marked as found in versions gnome-control-center/1:3.19.92-1. Merged 821352 822081 822372 825100 > tags 821352 confirmed Bug #821352 [gnome-control-center] edge-scrolling can no longer be configured Bug #822081 [gnome-control-center] gnome-control-center: Mouse settings have no effect since 3.20 Bug #822372 [gnome-control-center] mouse settings have no effect with Cirque Touchpad Bug #825100 [gnome-control-center] gnome-shell: edge-scrolling doesn't work anymore since gnome-shell 3.20 Added tag(s) confirmed. Added tag(s) confirmed. Added tag(s) confirmed. Added tag(s) confirmed. > thanks Stopping processing here.
Please contact me if you need assistance. -- 821352: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=821352 822081: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822081 822372: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=822372 825100: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=825100 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
