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

[Jens Reyer]

control: found -1 3.14.4-1~deb8u1

I just reproduced the crash on a freshly installed *Jessie* laptop (only
the tasks Gnome, ssh-server, system utils, and the packages etckeeper
and smartmontools* installed, nothing else, no changes).

So I can/could reproduce this on 3 machines:
2x on Jessie
1x on Stretch/Sid/experimental

However recently (see buglog) I found that this doesn't happen anymore
for fresh users on the Stretch machine, while my regular user on the
same machine still experiences this. When I first reported this bug even
fresh users on that machine experienced the bug.

Therefore I assume the main issue is fixed in todays mutter, but there
are some configuration/whatever settings remaining which still affect
todays mutter. So users updating from Jessie to Stretch might be affected.

I'll probably reinstall my Stretch machine soon - I might do that twice,
once Jessie->Stretch, and once Stretch directly. Any tips what I should
do then, besides creating the backtrace?

Greets
jre