|
From: | GNU bug Tracking System |
Subject: | [debbugs-tracker] bug#33581: closed (Unable to open individual GNOME shell extension settings) |
Date: | Sun, 02 Dec 2018 20:22:02 +0000 |
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 ---
[Prev in Thread] | Current Thread | [Next in Thread] |