Processing commands for cont...@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 <taf...@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 ow...@bugs.debian.org with problems
