Processed: Re: [Pkg-doc-linux-devel] Bug#291579: doc-linux-html: Kiosk Howto is missing

[Debian Bug Tracking System]

Processing commands for control@bugs.debian.org:

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

> thanks
Stopping processing here.

Please contact me if you need assistance.

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