Re: GNU Mach / Debian patches

[Alfred M. Szmidt]

   patches-contrib/kbd.patch

Won't be applied, hack.

   ext2fs_large_stores.patch

Should be applied, and if I ruled the world it would have been done so
already.

   mouse.patch

Won't be applied.  It is a hack.

   no-debian-dir.patch

Won't be applied, Debian specific.

   pfinet_dhcp.patch

I see no harm in getting this applied, but I recall that some people
where still having problems with getting DHCP working.  Is this true
or something I came up with?

   rc.patch

Won't be applied, Debian specific.

   startup-usr-support.patch

Won't be applied, Debian specific.

   ttys.patch

I submitted something similar, forgot why it never got applied.

   Do not apply cleanly:
   console_repeater.patch

Already applied.

   exec.patch

Won't be applied, Debian specific since Debian uses a dirt old glibc.

   libcons_repeater.patch

Already applied.

Thats all folks.