diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:33 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-02-20 21:08:33 +0000 |
| commit | cda632344e2e74fc6bfae22ee7273b7156cf51cc (patch) | |
| tree | 8fc767a34db523a8fa7c64760cce8010301bd757 /hurd/startup_reply.defs | |
| parent | 93493f41dc01ba4e13d5d35f71ed24c502c80e2d (diff) | |
(_pager_seqnos_memory_object_lock_completed): Fix to be better.
Diffstat (limited to 'hurd/startup_reply.defs')
0 files changed, 0 insertions, 0 deletions