diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1994-01-14 19:25:02 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1994-01-14 19:25:02 +0000 |
| commit | 9acf81be5598969c5c286921db3d5f8be6f96fd0 (patch) | |
| tree | 554461466e03967077b4aaecbb33e1d7bcac6439 | |
| parent | c0a094932fb555e14ef342bbd93e3b00364e5754 (diff) | |
Formerly object-terminate.c.~2~
| -rw-r--r-- | libpager/object-terminate.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libpager/object-terminate.c b/libpager/object-terminate.c index 251fc6db..52eec953 100644 --- a/libpager/object-terminate.c +++ b/libpager/object-terminate.c @@ -92,3 +92,4 @@ seqnos_memory_object_terminate (mach_port_t object, done_with_port (p); return 0; } + |