Processed: Re: Bug#376252: DDPO: watch column has same version but is magenta

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

Processing commands for control@bugs.debian.org:

> severity 376252 normal
Bug#376252: DDPO: watch column has same version but is magenta
Severity set to `normal' from `minor'

> merge 376252 269493
Bug#269493: developer.php: fault in watch version comparison
Bug#376252: DDPO: watch column has same version but is magenta
Merged 269493 376252.

> user qa.debian.org@packages.debian.org
Setting user to qa.debian.org@packages.debian.org (was myon@debian.org).
> usertags 376252 + dehs
There were no usertags set.
Usertags are now: dehs.
> thanks
Stopping processing here.

Please contact me if you need assistance.

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