The gnome-shell version (2.31.2) is too old for new mutter (2.31.5)
The debian bug above is about missing libgjs0a, which was later uploaded.
It really seems that new gnome-shell (2.31.5) resolves this issue.
So please sync it with debian unstable.
There is one issue with debians gnome-shell. It depends on libgjs0a (in ubuntu libgjs0).
Debian packages gnome-shell (2.31.5), gjs (0.7.1-1) and libgjs0a (0.7.1-1) depend on libmozjs2d package, which provide the necessary mozilla javascript library (libmozjs.so.2d file).
The point is that these GS packages are not depending on xulrunner and its shared object libmozjs.so.
The gnome-shell version (2.31.2) is too old for new mutter (2.31.5)
The debian bug above is about missing libgjs0a, which was later uploaded.
It really seems that new gnome-shell (2.31.5) resolves this issue.
So please sync it with debian unstable.
There is one issue with debians gnome-shell. It depends on libgjs0a (in ubuntu libgjs0).
Debian packages gnome-shell (2.31.5), gjs (0.7.1-1) and libgjs0a (0.7.1-1) depend on libmozjs2d package, which provide the necessary mozilla javascript library (libmozjs.so.2d file).
The point is that these GS packages are not depending on xulrunner and its shared object libmozjs.so.