[Pkg-db-devel] Processed: this is the same bug

[Debian Bug Tracking System]

Processing commands for control at bugs.debian.org:

> severity 256332 serious
Bug#256332: db4.2-doc: non-free
Severity set to `serious' from `important'

> merge 256332 357528
Bug#256332: db4.2-doc: non-free
Bug#357528: db4.2-doc: doc package is not DFSG-free
Merged 256332 357528.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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