Processing commands for cont...@bugs.debian.org: > forwarded 996935 > https://gitlab.com/paddatrapper/shortcuts-gnome-extension/-/issues/10 Bug #996935 [gnome-shell-extension-shortcuts] gnome-shell-extension-shortcuts: settings dialog broken: Error: Type name ShortcutsPrefsWidget is already registered Set Bug forwarded-to-address to 'https://gitlab.com/paddatrapper/shortcuts-gnome-extension/-/issues/10'. > End of message, stopping processing here.
Please contact me if you need assistance. -- 996935: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=996935 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems
