Processed: libminisat2-ocaml: changing back from ITP to RFP

To: Lucas Nussbaum <lucas@debian.org>
Cc: Pietro Abate <pietro.abate@pps.jussieu.fr> (owner of 575500 for {575500}), wnpp@debian.org (wnpp for {575500})
Subject: Processed: libminisat2-ocaml: changing back from ITP to RFP
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sat, 19 Feb 2011 18:10:57 +0000
Message-id: <[🔎] handler.s.C.129813823815435.transcript@bugs.debian.org>
In-reply-to: <[🔎] E1PqqHY-0002kP-PB@samosa.debian.org>
References: <[🔎] E1PqqHY-0002kP-PB@samosa.debian.org>

Processing commands for control@bugs.debian.org:

> retitle 575500 RFP: libminisat2-ocaml -- Ocaml bindings for minisat2
Bug #575500 [wnpp] ITP: libminisat2-ocaml -- Ocaml bindings for minisat2
Changed Bug title to 'RFP: libminisat2-ocaml -- Ocaml bindings for minisat2' from 'ITP: libminisat2-ocaml -- Ocaml bindings for minisat2'
> noowner 575500
Bug #575500 [wnpp] RFP: libminisat2-ocaml -- Ocaml bindings for minisat2
Removed annotation that Bug was owned by Pietro Abate <pietro.abate@pps.jussieu.fr>.
> thanks
Stopping processing here.

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

Reply to:

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

Prev by Date: Processed: postal-code-jp: changing back from ITP to RFP
Next by Date: Processed: bitfrost: changing back from ITP to RFP
Previous by thread: Bug#575500: libminisat2-ocaml: changing back from ITP to RFP
Next by thread: Bug#576554: greed: changing back from ITA to O
Index(es):
- Date
- Thread