Processed: Re: Processed (with 2 errors): Re: Bug#821352: Problems with ouse and touchpad settings (it was:Re: Bug#822081: gnome-control-center: Mouse settings have no effect since 3.20)

Debian Bug Tracking System owner at bugs.debian.org
Mon Jun 6 07:51:18 UTC 2016


Processing commands for control at 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 owner at bugs.debian.org with problems



More information about the pkg-gnome-maintainers mailing list