diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-03-21 16:59:26 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-03-21 16:59:26 +0000 |
| commit | 57e5a70fa8f5d3202a265936c2db1e7bccdfac6f (patch) | |
| tree | c196c164e05961145ed254960a5f5fda2874a904 /proc/pgrp.c | |
| parent | 22f881a22dfd7ae2eafebafd1c6174f20eadc737 (diff) | |
(new_proc): Oops, reinstall code to request dead name notification on
the task port.
Diffstat (limited to 'proc/pgrp.c')
0 files changed, 0 insertions, 0 deletions