Processed: Re: Bug#808377: gnome-shell: Extensions don't load under wayland

[Debian Bug Tracking System]

Processing control commands:

> tags 808377 + moreinfo
Bug #808377 [gnome-shell] gnome-shell: Extensions don't load under wayland
Added tag(s) moreinfo.

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