[ I've CCed John Tobey as I'm not sure if he has assigned the
copyright. ]For such a small change a copyright assigment isn't needed. Long time ago we got a bug report in Debian with a patch for Oskit Mach. What bug does it fix? (the bit you quoted only had lots of "ifs") As for the patch, it looks good to my tired eyes even if it doesn't fix a real world bug. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
