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

To: Jon Dowland <jmtd@debian.org>
Cc: wnpp@debian.org
Subject: Processed: Re: Bug#690905: freedoom: Prboom Plus should be used instead of Prboom
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Fri, 19 Oct 2012 08:45:09 +0000
Message-id: <[🔎] handler.s.C.135063625111847.transcript@bugs.debian.org>
References: <[🔎] 20121019084404.GA31737@debian>

Processing commands for control@bugs.debian.org:

> forcemerge 690905 559132
Bug #690905 [wnpp] RFP: prboom-plus
Bug #559132 [wnpp] RFP: prboom-plus -- doom-engine extended from prboom
Merged 559132 690905
> thanks
Stopping processing here.

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

Reply to:

References:
- Bug#690905: freedoom: Prboom Plus should be used instead of Prboom
  - From: Jon Dowland <jmtd@debian.org>

Prev by Date: Bug#690905: freedoom: Prboom Plus should be used instead of Prboom
Next by Date: Bug#688372: quick look (Re: Bug#688372: ITP: bzr-tweet -- Bazaar commit and push tweet plugin
Previous by thread: Bug#690905: freedoom: Prboom Plus should be used instead of Prboom
Next by thread: Bug#690905: freedoom: Prboom Plus should be used instead of Prboom
Index(es):
- Date
- Thread