Processed: Re: Bug#444713: prc-tools: should this package be orphaned?

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> severity 444713 normal
Bug#444713: prc-tools: should this package be orphaned?
Severity set to `normal' from `serious'

> reassign 444713 wnpp
Bug#444713: prc-tools: should this package be orphaned?
Bug reassigned from package `prc-tools' to `wnpp'.

> retitle 444713 O: prc-tools -- GCC, GDB, binutils, etc. for PDAs using the PalmOS
Bug#444713: prc-tools: should this package be orphaned?
Changed Bug title to `O: prc-tools -- GCC, GDB, binutils, etc. for PDAs using the PalmOS' from `prc-tools: should this package be orphaned?'.

> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)