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

Michael Biebl biebl at debian.org
Mon Feb 20 23:00:09 UTC 2012


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 gnome-tweak-tool instead thinks the namespace should be
> 
> gnome-shell-extensions.gnome.org

It looks like upstream is going to keep this new UUID, so
gnome-tweak-tools needs to be updated accordingly.

Reassigning and merging with the existing bug report.

Michael

-- 
Why is it that all of the instruments seeking intelligent life in the
universe are pointed away from Earth?

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 900 bytes
Desc: OpenPGP digital signature
URL: <http://lists.alioth.debian.org/pipermail/pkg-gnome-maintainers/attachments/20120221/ffb60eb7/attachment.pgp>


More information about the pkg-gnome-maintainers mailing list