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

[Andreas Henriksson]

Control: tags -1 + moreinfo unreproducible
Control: severity -1 important

Hello jre!

Thanks for your bug report, unfortunately it's not reproducible so you
will have to provide more information or it will not be able to be
investigated. Please provide session logs, a backtrace from the crashing
process, etc.
Fwiw, the bug is not in gnome-tweak-tool but in some component that's
critical for the gnome session to function which you happen to trigger
via gnome-tweak-tool.

Regards,
Andreas Henriksson