Processed: forcibly merging 731209 742648 743043

Debian Bug Tracking System owner at bugs.debian.org
Tue May 27 19:36:25 UTC 2014


Processing commands for control at bugs.debian.org:

> forcemerge 731209 742648 743043
Bug #731209 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #737590 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #739206 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #740706 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #740882 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #749528 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: Segfaults when open "Background" settings
Bug #743043 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: Displays background-preview faulty
Severity set to 'important' from 'normal'
Severity set to 'important' from 'normal'
Marked as fixed in versions gnome-control-center/1:3.10.1-1.
Marked as fixed in versions gnome-control-center/1:3.10.1-1.
Marked as found in versions gnome-control-center/1:3.8.3-5 and gnome-control-center/1:3.8.3-7.
Marked as found in versions gnome-control-center/1:3.8.3-5 and gnome-control-center/1:3.8.3-7.
Bug #737590 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Marked as fixed in versions gnome-control-center/1:3.12.0-1.
Marked as fixed in versions gnome-control-center/1:3.12.0-1.
Marked as fixed in versions gnome-control-center/1:3.12.0-1.
Marked as fixed in versions gnome-control-center/1:3.12.0-1.
Marked as fixed in versions gnome-control-center/1:3.12.0-1.
Marked as fixed in versions gnome-control-center/1:3.12.0-1.
Bug #742648 [gnome-control-center] gnome-control-center: When trying to change the background, the control center crash
Severity set to 'important' from 'minor'
Marked Bug as done
Marked as fixed in versions gnome-control-center/1:3.10.1-1 and gnome-control-center/1:3.12.0-1.
Marked as found in versions gnome-control-center/1:3.8.3-5 and gnome-control-center/1:3.8.3-7.
Bug #739206 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #740706 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #740882 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: segmentation fault when changing desktop background
Bug #743220 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-backgrounds dies
Bug #749528 {Done: Laurent Bigonville <bigon at debian.org>} [gnome-control-center] gnome-control-center: Segfaults when open "Background" settings
Merged 731209 737590 739206 740706 740882 742648 743043 743220 749528
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
731209: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731209
737590: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=737590
739206: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=739206
740706: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740706
740882: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740882
742648: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=742648
743043: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743043
743220: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=743220
749528: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=749528
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the pkg-gnome-maintainers mailing list