That's ok by me. iso9660fs is a better name anyway, since it's not a filesystem for any other format that might have an ISO standard.
_______________________________________________ Bug-hurd mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-hurd