Processed: retitle 993557 to ITP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management ...
Processing commands for control@bugs.debian.org:
> retitle 993557 ITP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Bug #993557 [wnpp] RFP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Changed Bug title to 'ITP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management' from 'RFP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management'.
> owner 993557 !
Bug #993557 [wnpp] ITP: gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling window management
Owner recorded as David Prévot <taffit@debian.org>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
993557: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=993557
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: