Processing commands for cont...@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-2cvqnduybau5do2dfjtrn7zbaj246s4...@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-2cvqnduybau5do2dfjtrn7zbaj246s4...@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 ow...@bugs.debian.org with problems