Processed: Re: Bug#996401: gnome-shell-extension-prefs: Gnome extensions app fails to open in Wayland but opens in X11

[Debian Bug Tracking System]

Processing control commands:

> tags -1 + moreinfo
Bug #996401 [gnome-shell-extension-prefs] gnome-shell-extension-prefs: Gnome extensions app fails to open in Wayland but opens in X11
Added tag(s) moreinfo.

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