Processed: Re: Processed: now on to dpkg-dev bugs...

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

Processing commands for control@bugs.debian.org:

> severity 12505 normal
Bug#12505: /usr/doc/dpkg/{internals,index}.html identical
Bug#16406: /usr/doc/dpkg/internals.html/internals.html should be removed
Severity set to `normal'.

> merge 39348 12505
Bug#12505: /usr/doc/dpkg/{internals,index}.html identical
Bug#39348: dpkg-dev: index.html and internals.html are the same file
Bug#16406: /usr/doc/dpkg/internals.html/internals.html should be removed
Merged 12505 16406 39348.

> severity 11093 normal
Bug#11093: dpkg-dev: Missing manpage
Severity set to `normal'.

> merge 11093 39490
Bug#11093: dpkg-dev: Missing manpage
Bug#39490: dpkg: dpkg-divert(1) manpage missing
Bug#46657: dpkg: missing man page of dpkg-divert
Merged 11093 39490 46657.

>
End of message, stopping processing here.

Please contact me if you need assistance.

Darren Benham
(administrator, Debian Bugs database)