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