and when the time comes,
I don't think the time will ever come.I agree completely; we should not suppose that we will ever eliminate `/usr'. _______________________________________________ Bug-hurd mailing list Bug-hurd@gnu.org http://lists.gnu.org/mailman/listinfo/bug-hurd
