Processing commands for cont...@bugs.debian.org:
> unarchive 993557
Bug #993557 {Done: Daniel Bungert <danielbung...@gmail.com>} [wnpp] ITP:
gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling
window management
Unarchived Bug 993557
> reopen 993557
Bug #993557 {Done: Daniel Bungert <danielbung...@gmail.com>} [wnpp] ITP:
gnome-shell-extension-pop-shell -- keyboard-driven layer for GNOME with tiling
window management
Bug reopened
Ignoring request to alter fixed versions of bug #993557 to the same values
previously set
> retitle 993557 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'.
> 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
