Processed: alienfeed and coq-areamethod: changing from ITP to RFP
Processing commands for control@bugs.debian.org:
> retitle 728940 RFP: alienfeed -- Reddit command-line client
Bug #728940 [wnpp] ITP: alienfeed -- Reddit command-line client
Changed Bug title to 'RFP: alienfeed -- Reddit command-line client' from 'ITP: alienfeed -- Reddit command-line client'.
> noowner 728940
Bug #728940 [wnpp] RFP: alienfeed -- Reddit command-line client
Removed annotation that Bug was owned by Riley Baird <BM-2cVqnDuYbAU5do2DfJTrN7ZbAJ246S4XiX@bitmessage.ch>.
> retitle 801484 RFP: coq-areamethod -- coq library for the area method decision procedure
Bug #801484 [wnpp] ITP: coq-areamethod -- coq library for the area method decision procedure
Changed Bug title to 'RFP: coq-areamethod -- coq library for the area method decision procedure' from 'ITP: coq-areamethod -- coq library for the area method decision procedure'.
> noowner 801484
Bug #801484 [wnpp] RFP: coq-areamethod -- coq library for the area method decision procedure
Removed annotation that Bug was owned by Riley Baird <BM-2cVqnDuYbAU5do2DfJTrN7ZbAJ246S4XiX@bitmessage.ch>.
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
728940: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=728940
801484: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=801484
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: