Re: Remove GNU Mach's unused device drivers

[Marco Gerards]

"Alfred M\. Szmidt" <ams@gnu.org> writes:

>    > Seperate changes should have seperate headers.
>
>    This is incorrect.  You can say it five times, or fifty times, but
>    it is not correct.
>
> It is correct, this has been the rule for all patches to date. 

Can you please show us where this rule is written down?  If what you
say is true, I have been doing the wrong things in the Hurd and for
GRUB all the time.

--
Marco