Processed: Re: Bug#435458: Useless priority change is recorded
Processing commands for control@bugs.debian.org:
> reassign 435458 debbugs
Bug#435458: Useless priority change is recorded
Bug reassigned from package `bugs.debian.org' to `debbugs'.
> retitle 435458 ignore null control operations
Bug#435458: Useless priority change is recorded
Changed Bug title to `ignore null control operations' from `Useless priority change is recorded'.
> severity 435458 minor
Bug#435458: ignore null control operations
Severity set to `minor' from `wishlist'
> thanks
Stopping processing here.
Please contact me if you need assistance.
Debian bug tracking system administrator
(administrator, Debian Bugs database)
Reply to: