Processed: fixing wnpp bug

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

Processing commands for control@bugs.debian.org:

> #s/-/--/
> retitle 376599 ITP: mini-httpd -- small HTTP server
Bug#376599: ITP: mini-httpd - small HTTP server
Changed Bug title.

> #duplicate ITPs
> owner 376599 Daniel Baumann <daniel.baumann@panthera-systems.net>
Bug#376599: ITP: mini-httpd -- small HTTP server
Owner recorded as Daniel Baumann <daniel.baumann@panthera-systems.net>.

> merge 308660 376599
Bug#308660: ITP: mini-httpd -- Small HTTP server
Bug#376599: ITP: mini-httpd -- small HTTP server
Merged 308660 376599.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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