Processed: Re: gnome-tweak-tool: Error on start: GLib-GIO-ERROR

[Debian Bug Tracking System]

Processing control commands:

> severity -1 serious
Bug #873765 [gnome-tweak-tool] gnome-tweak-tool: Error on start: GLib-GIO-ERROR **: Settings schema 'org.gnome.shell' does not contain a key named 'disable-user-extensions'
Severity set to 'serious' from 'important'

-- 
873765: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=873765
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems