Processed: Re: gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces

[Debian Bug Tracking System]

Processing control commands:

> reassign -1 mutter
Bug #782075 [gnome-tweak-tool] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Bug reassigned from package 'gnome-tweak-tool' to 'mutter'.
No longer marked as found in versions gnome-tweak-tool/3.14.2-2.
Ignoring request to alter fixed versions of bug #782075 to the same values previously set

-- 
782075: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=782075
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems