Subject: bug#33581: Fixed: Not able to open GNOME shell extension settings

From: [email-masked]
Date: Sun, 02 Dec 2018 20:12:05 +0000

I upgraded my system via "guix system reconfigure" and this fixed the problem. My apologies.