-
Florian Müllner authored
... instead of clearing the user-defined list of enabled extensions. https://bugzilla.gnome.org/show_bug.cgi?id=778665
72486b58
... instead of clearing the user-defined list of enabled extensions. https://bugzilla.gnome.org/show_bug.cgi?id=778665