diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1996-08-12 18:31:04 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1996-08-12 18:31:04 +0000 |
| commit | 9474c6318ad2effa3e80246d1012cb111e726bf0 (patch) | |
| tree | b1f5dbfbd38913dcc4ebf721f81443472937dec0 /hurd/=pending-changes | |
| parent | 4b4fc640461f0f6e152204deda38a4e9272fe9e1 (diff) | |
*** empty log message ***
Diffstat (limited to 'hurd/=pending-changes')
| -rw-r--r-- | hurd/=pending-changes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/hurd/=pending-changes b/hurd/=pending-changes index 33660b46..df3efdcf 100644 --- a/hurd/=pending-changes +++ b/hurd/=pending-changes @@ -18,6 +18,8 @@ abort auth_user_authenticate when it's dead. Add io_revoke. +Add optional timeout arg to msg.defs. + Not user visible: |