Wondering, how this post came into google-groups, though the actual
mailing list was/should have been "comp.os.minix". Anyway, its nice to
see from what became a History ;)
Google mirror popular mailing lists. You can use this Google Groups
interface to read mails from thoses mailing list and even subcribe to it.
