Subject: bug#33581: closed (Re: bug#33581: Fixed: Not able to open GNOME shell extension settings)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 02 Dec 2018 20:22:02 +0000

Your bug report

#33581: Unable to open individual GNOME shell extension settings

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
33581: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=33581
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#33581: Fixed: Not able to open GNOME shell extension settings
From: Gábor Boskovits <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Sun, 2 Dec 2018 21:21:16 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Hello barionicsynergy,

you can close bugs by sending an e-mail to
[email-masked], like I did here.

<[email-masked]> 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

Subject: Unable to open individual GNOME shell extension settings
From: [email-masked]
To: "[email-masked]" <[email-masked]>
Date: Sun, 02 Dec 2018 08:28:44 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

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