Processed: Re: [Pkg-aide-maintainers] Bug#403342: aide: Bug report 377383 is NOT fixed!

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> package aide
Ignoring bugs not assigned to: aide

> reopen 377383
Bug#377383: aide: Wrong FILES section in man page
'reopen' is deprecated when a bug has been closed with a version;
use 'found' or 'submitter' as appropriate instead.
Bug reopened, originator not changed.

> severity 377383 minor
Bug#377383: aide: Wrong FILES section in man page
Severity set to `minor' from `normal'

> severity 403342 minor
Bug#403342: aide: Bug report 377383 is NOT fixed!
Severity set to `minor' from `important'

> merge 377383 403342
Bug#377383: aide: Wrong FILES section in man page
Bug#403342: aide: Bug report 377383 is NOT fixed!
Merged 377383 403342.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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