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

[Debian Bug Tracking System]

Processing control commands:

> forwarded -1 https://bugzilla.gnome.org/show_bug.cgi?id=784223
Bug #782075 [mutter] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Set Bug forwarded-to-address to 'https://bugzilla.gnome.org/show_bug.cgi?id=784223'.
> found -1 3.22.4-2
Bug #782075 [mutter] gnome-tweak-tool: Crashes Gnome when reducing Number of Workspaces
Marked as found in versions mutter/3.22.4-2.

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