I think the plan at that time was not to change nothing. I had a large matrix of configurations and type settings in front of me, and I must have interpreted some wrong. We should get typesizes.h and the mig sizes in synch, but we'll have to figure out which should change.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd
