Processed: retitle to RFS: gnome-shell-extension-shortcuts/1.0.4-1 [ITP] -- Creates a shortcuts help pop-up in GNOME Shell
Processing commands for control@bugs.debian.org:
> retitle 847308 RFS: gnome-shell-extension-shortcuts/1.0.4-1 [ITP] -- Creates a shortcuts help pop-up in GNOME Shell
Bug #847308 [sponsorship-requests] RFS: gnome-shell-extension-shortcuts/1.0.3-1 [ITP] -- Creates a shortcuts help pop-up in GNOME Shell
Changed Bug title to 'RFS: gnome-shell-extension-shortcuts/1.0.4-1 [ITP] -- Creates a shortcuts help pop-up in GNOME Shell' from 'RFS: gnome-shell-extension-shortcuts/1.0.3-1 [ITP] -- Creates a shortcuts help pop-up in GNOME Shell'.
> stop
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
Reply to: