Processing commands for control@bugs.debian.org: > owner 847308 tobi@debian.org Bug #847308 [sponsorship-requests] RFS: gnome-shell-extension-shortcuts/1.0.3-1 [ITP] -- Creates a shortcuts help pop-up in GNOME Shell Owner recorded as tobi@debian.org. > thanks Stopping processing here. Please contact me if you need assistance. -- 847308: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=847308 Debian Bug Tracking System Contact owner@bugs.debian.org with problems