Processed: bool2cnf: changing back from ITP to RFP

To: Lucas Nussbaum <lucas@debian.org>
Cc: tkren@kr.tuwien.ac.at, wnpp@debian.org
Subject: Processed: bool2cnf: changing back from ITP to RFP
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Mon, 27 May 2013 14:25:27 +0000
Message-id: <[🔎] handler.s.C.136966191618924.transcript@bugs.debian.org>
References: <[🔎] 1369661060.778485.4677.nullmailer@xanadu.blop.info>

Processing commands for control@bugs.debian.org:

> retitle 616651 RFP: bool2cnf -- tool for converting a boolean formula into CNF
Bug #616651 [wnpp] ITP: bool2cnf -- tool for converting a boolean formula into CNF
Changed Bug title to 'RFP: bool2cnf -- tool for converting a boolean formula into CNF' from 'ITP: bool2cnf -- tool for converting a boolean formula into CNF'
> noowner 616651
Bug #616651 [wnpp] RFP: bool2cnf -- tool for converting a boolean formula into CNF
Removed annotation that Bug was owned by Thomas Krennwallner <tkren@kr.tuwien.ac.at>.
> tag 616651 - pending
Bug #616651 [wnpp] RFP: bool2cnf -- tool for converting a boolean formula into CNF
Ignoring request to alter tags of bug #616651 to the same tags previously set
> thanks
Stopping processing here.

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

Reply to:

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

Prev by Date: Processed: drupal6-mod-charts-graphs: changing back from ITP to RFP
Next by Date: Processed: plover: changing back from ITP to RFP
Previous by thread: Bug#616651: bool2cnf: changing back from ITP to RFP
Next by thread: Bug#617247: zeitgeist-datasources: changing back from ITP to RFP
Index(es):
- Date
- Thread