Processed: Re: RFP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Processing control commands:
> retitle -1 RFP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Bug #993557 [wnpp] ITP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Changed Bug title to 'RFP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management' from 'ITP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management'.
> noowner -1
Bug #993557 [wnpp] RFP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Removed annotation that Bug was owned by David Prévot <taffit@debian.org>.
--
993557: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993557
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: