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