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

[Debian Bug Tracking System]

Processing control commands:

> tags -1 - moreinfo
Bug #782075 [mutter] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Removed tag(s) moreinfo.
> found -1 3.20.3-2
Bug #782075 [mutter] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Marked as found in versions mutter/3.20.3-2.

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