Processing commands for cont...@bugs.debian.org: > unmerge 822081 Bug #822081 [gnome-control-center] gnome-control-center: Mouse settings have no effect since 3.20 Bug #821352 [gnome-control-center] edge-scrolling can no longer be configured 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 Disconnected #822081 from all other report(s). > unmerge 822372 Bug #822372 [gnome-control-center] mouse settings have no effect with Cirque Touchpad 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 Disconnected #822372 from all other report(s). > forcemerge 822081 822372 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 Merged 822081 822372 > notforwarded 822081 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 Ignoring request to change the forwarded-to-address of bug#822081 to the same value Ignoring request to change the forwarded-to-address of bug#822372 to the same value > 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
