Bug#660690: gnome-shell-extensions: user-theme extension is recognized in gnome-tweak tool because of a different namespace

2012-02-20 Thread ygmarchi
Package: gnome-shell-extensions Version: 3.2.3-1 Severity: normal Dear Maintainer, all extensions have this weird namespace gnome-shell-extensions.gcampax.github.com The gnome-tweak-tool instead thinks the namespace should be gnome-shell-extensions.gnome.org Because of this disagreement, the

Bug#660690: gnome-shell-extensions: user-theme extension is recognized in gnome-tweak tool because of a different namespace

2012-02-20 Thread Michael Biebl
reassign 660690 gnome-tweak-tool forcemerge 660428 660690 thanks On 20.02.2012 22:22, ygmarchi wrote: Package: gnome-shell-extensions Version: 3.2.3-1 Severity: normal Dear Maintainer, all extensions have this weird namespace gnome-shell-extensions.gcampax.github.com The