Processed: Re: Bug#423298: mercury: should this package be orphaned?
Processing commands for control@bugs.debian.org:
> severity 423298 normal
Bug#423298: mercury: should this package be orphaned?
Severity set to `normal' from `serious'
> reassign 423298 wnpp
Bug#423298: mercury: should this package be orphaned?
Bug reassigned from package `mercury' to `wnpp'.
> retitle 423298 O: mercury -- A new logic/functional programming language
Bug#423298: mercury: should this package be orphaned?
Changed Bug title to `O: mercury -- A new logic/functional programming language' from `mercury: 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)
Reply to: