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

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + moreinfo unreproducible
Bug #782075 [gnome-tweak-tool] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Added tag(s) unreproducible and moreinfo.
> severity -1 important
Bug #782075 [gnome-tweak-tool] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Severity set to 'important' from 'serious'

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