Processed: Re: [Pkg-doc-linux-devel] Bug#255776: doc-linux-html: index points to non-existent file "Remote-Boot.html"

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

> merge 255776 205872
Bug#205872: doc-linux-html: HOWTO-INDEX/howtos.html lists removed Ultra-DMA mini-HOWTO (non-free)
Bug#255776: doc-linux-html: index points to non-existent file "Remote-Boot.html"
Merged 205872 255776.

> retitle 255776 doc-linux-html: index points to non-existent file "Remote-Boot.html" (non-free)
Bug#255776: doc-linux-html: index points to non-existent file "Remote-Boot.html"
Changed Bug title.

> thanks
Stopping processing here.

Please contact me if you need assistance.

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