Bug#910370: [mutter] mutter/gnome-shell 3.30.0 crashed when using touchscreen and wacom pen

[Simon McVittie]

Control: forwarded -1 https://gitlab.gnome.org/GNOME/mutter/issues/294
Control: tags -1 + fixed-upstream

On Fri, 05 Oct 2018 at 16:22:03 +0200, Christian Engwer wrote:
> There is a patch available, which is part of mutter 3.30.1:
>  * https://gitlab.gnome.org/GNOME/mutter/commit/a3d9f987c8303550bc740cba4645c8fba161c7fb.diff

mutter 3.30.1 doesn't seem to exist yet, so this commit can't be part
of mutter 3.30.1 yet? (There isn't even a gnome-3-30 branch.)

The commit looks reasonable, though;
it fixes a line mistakenly removed in commit
<https://gitlab.gnome.org/GNOME/mutter/commit/390314adfb61f8354e5416d37c794d4fed439d63>,
between 3.29.2 and 3.29.3, which is why it wasn't in the batch of bugfixes
that I already applied (the ones corresponding to the gnome-3-28 branch).

    smcv