Processing commands for cont...@bugs.debian.org: > noowner 993557 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 Dan Bungert <danielbung...@gmail.com>. > End of message, 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
