Hi, Thanks people for commenting on the patches, I hope to have corrected things, so I'm resubmitting the whole updated patchset, ready for committing.
Regards, Samuel _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd