Processed: ofmc: changing back from ITP to RFP

To: Lucas Nussbaum <lucas@debian.org>
Cc: wnpp@debian.org (wnpp for {603416}), Morten S�rensen <starswifter@gmail.com> (owner of 603416 for {603416})
Subject: Processed: ofmc: changing back from ITP to RFP
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Wed, 27 Jul 2011 16:56:00 +0000
Message-id: <[🔎] handler.s.C.131178379526875.transcript@bugs.debian.org>
In-reply-to: <[🔎] 1311782554.372959.31284.nullmailer@xanadu.blop.info>
References: <[🔎] 1311782554.372959.31284.nullmailer@xanadu.blop.info>

Processing commands for control@bugs.debian.org:

> retitle 603416 RFP: ofmc -- Open-source Fixedpoint Model Checker
Bug #603416 [wnpp] ITP: ofmc -- Open-source Fixedpoint Model Checker
Changed Bug title to 'RFP: ofmc -- Open-source Fixedpoint Model Checker' from 'ITP: ofmc -- Open-source Fixedpoint Model Checker'
> noowner 603416
Bug #603416 [wnpp] RFP: ofmc -- Open-source Fixedpoint Model Checker
Removed annotation that Bug was owned by Morten Sï¿½rensen <starswifter@gmail.com>.
> thanks
Stopping processing here.

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

Reply to:

References:
- Bug#603416: ofmc: changing back from ITP to RFP
  - From: Lucas Nussbaum <lucas@debian.org>

Prev by Date: Processed: python-ooopy: closing old inactive RFP
Next by Date: Bug#512229: python-ooopy: closing old inactive RFP
Previous by thread: Bug#603416: ofmc: changing back from ITP to RFP
Next by thread: Bug#509768: taskcoach: changing back from ITP to RFP
Index(es):
- Date
- Thread