Processed: Re: Bug#690905: freedoom: Prboom Plus should be used instead of Prboom

Debian Bug Tracking System owner at bugs.debian.org
Fri Oct 19 06:57:17 UTC 2012


Processing commands for control at bugs.debian.org:

> reassign 690905 wnpp
Bug #690905 [freedoom] freedoom: Prboom Plus should be used instead of Prboom
Bug reassigned from package 'freedoom' to 'wnpp'.
Ignoring request to alter found versions of bug #690905 to the same values previously set
Ignoring request to alter fixed versions of bug #690905 to the same values previously set
> retitle 690905 RFP: prboom-plus
Bug #690905 [wnpp] freedoom: Prboom Plus should be used instead of Prboom
Changed Bug title to 'RFP: prboom-plus' from 'freedoom: Prboom Plus should be used instead of Prboom'
> severity 690905 wishlist
Bug #690905 [wnpp] RFP: prboom-plus
Ignoring request to change severity of Bug 690905 to the same value.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
690905: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=690905
Debian Bug Tracking System
Contact owner at bugs.debian.org with problems



More information about the Pkg-games-devel mailing list