Processing commands for cont...@bugs.debian.org: > unmerge 822081 822372 Unknown command or malformed arguments to command. > forcemerge 822081 822372 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 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 Merged 821352 822081 822372 825100 > notforwarded 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 Unset Bug forwarded-to-address Unset Bug forwarded-to-address Unset Bug forwarded-to-address Unset Bug forwarded-to-address > 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
