The Mutter 3.24.4 announcement says that https://bugzilla.gnome.org/show_bug.cgi?id=784223 has been fixed. I suspect this is the same bug as this one.
So anyone affected: please try to reproduce once Mutter 3.24.4 is in Debian :) Thanks in advance!
- Bug#782075: gnome-tweak-tool: Crashes Gnome when reducing Numbe... intrigeri
