[debbugs-tracker] bug#33581: closed (Unable to open individual GNOME shell extension settings)

[GNU bug Tracking System]

Your message dated Sun, 2 Dec 2018 21:21:16 +0100
with message-id <address@hidden>
and subject line Re: bug#33581: Fixed: Not able to open GNOME shell extension 
settings
has caused the debbugs.gnu.org bug report #33581,
regarding Unable to open individual GNOME shell extension settings
to be marked as done.

(If you believe you have received this mail in error, please contact
address@hidden)


-- 
33581: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33581
GNU Bug Tracking System
Contact address@hidden with problems

--- Begin Message --- Subject: Unable to open individual GNOME shell extension settings Date: Sun, 02 Dec 2018 08:28:44 +0000

Clicking on the settings icon next to any extension within gnome-tweak-tools does nothing

--- End Message ---

> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: bug#33581: Fixed: Not able to open GNOME shell extension settings
>
>
>
>
> Date: 
>
> Sun, 2 Dec 2018 21:21:16 +0100
>
>
>
>
> Hello barionicsynergy,
>
> you can close bugs by sending an e-mail to
> address@hidden, like I did here.
>
>
> <address@hidden> ezt írta (időpont: 2018. dec. 2., V, 21:16):
> >
> > I upgraded my system via "guix system reconfigure" and this fixed the 
> > problem. My apologies.
> >
> >
> >
>
> Best regards,
> g_bor
>
>
> --- End Message ---