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

[Debian Bug Tracking System]

Processing control commands:

> found -1 3.14.4-1
Bug #782075 [mutter] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Marked as found in versions mutter/3.14.4-1.

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