Processed: reassign 726562 to nautilus, forcibly merging 740599 726562

Debian Bug Tracking System owner at bugs.debian.org
Sun Apr 27 14:33:24 UTC 2014


Processing commands for control at bugs.debian.org:

> reassign 726562 nautilus 3.8.2-2
Bug #726562 [libgtk-3-0] nautilus: White background when nautilus is managing the desktop
Bug #712517 [libgtk-3-0] gnome-backgrounds: Desktop background turns black when "Have file manager handle the desktop" is switched on
Bug reassigned from package 'libgtk-3-0' to 'nautilus'.
Bug reassigned from package 'libgtk-3-0' to 'nautilus'.
No longer marked as found in versions gtk+3.0/3.10.7-1 and gtk+3.0/3.10.1-1.
No longer marked as found in versions gtk+3.0/3.10.1-1.
Ignoring request to alter fixed versions of bug #726562 to the same values previously set
Ignoring request to alter fixed versions of bug #712517 to the same values previously set
Bug #726562 [nautilus] nautilus: White background when nautilus is managing the desktop
Bug #712517 [nautilus] gnome-backgrounds: Desktop background turns black when "Have file manager handle the desktop" is switched on
Marked as found in versions nautilus/3.8.2-2.
Marked as found in versions nautilus/3.8.2-2.
> forcemerge 740599 726562
Bug #740599 {Done: Laurent Bigonville <bigon at debian.org>} [nautilus] nautilus: White Background
Bug #712517 [nautilus] gnome-backgrounds: Desktop background turns black when "Have file manager handle the desktop" is switched on
Unset Bug forwarded-to-address
Unset Bug forwarded-to-address
Marked Bug as done
Marked Bug as done
Marked as fixed in versions nautilus/3.12.0-1.
Marked as fixed in versions nautilus/3.12.0-1.
Bug #726562 {Done: Laurent Bigonville <bigon at debian.org>} [nautilus] nautilus: White background when nautilus is managing the desktop
Merged 712517 726562 740599
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
712517: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=712517
726562: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=726562
740599: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=740599
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the pkg-gnome-maintainers mailing list