> ... but it might be a propper idea to put this hint just in one of
> the initial manuals.

Patches sent to debian-boot are always welcome, I think.

        Michael

Reply via email to