diff options
author | Miles Bader <miles@gnu.org> | 1995-12-27 21:49:17 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1995-12-27 21:49:17 +0000 |
commit | 6d31752942285267a63d54f81952f0bc43c89df5 (patch) | |
tree | 1ab173001d676735c8b42c7ab7c5010a31bc96a7 /nfs/nfs.c | |
parent | 81ec3b6ad7f49c5e0e45b2f9660a6f23641649c1 (diff) |
(ports_do_mach_notify_dead_name): Call ports_dead_name().
Diffstat (limited to 'nfs/nfs.c')
0 files changed, 0 insertions, 0 deletions