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

[Debian Bug Tracking System]

Processing control commands:

> forwarded -1 https://gitlab.gnome.org/GNOME/mutter/issues/294
Bug #910370 [mutter] [mutter] mutter/gnome-shell 3.30.0 crashed when using touchscreen and wacom pen
Set Bug forwarded-to-address to 'https://gitlab.gnome.org/GNOME/mutter/issues/294'.
> tags -1 + fixed-upstream
Bug #910370 [mutter] [mutter] mutter/gnome-shell 3.30.0 crashed when using touchscreen and wacom pen
Added tag(s) fixed-upstream.

-- 
910370: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=910370
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems