Processing commands for cont...@bugs.debian.org: > retitle 872380 RFP: pocket-home -- a simple menu for mobile devices Bug #872380 [wnpp] ITP: pocket-home -- a simple menu for mobile devices Changed Bug title to 'RFP: pocket-home -- a simple menu for mobile devices' from 'ITP: pocket-home -- a simple menu for mobile devices'. > noowner 872380 Bug #872380 [wnpp] RFP: pocket-home -- a simple menu for mobile devices Removed annotation that Bug was owned by Stephen Paul Weber <singpol...@singpolyma.net>. > stop Stopping processing here.
Please contact me if you need assistance. -- 872380: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=872380 Debian Bug Tracking System Contact ow...@bugs.debian.org with problems