diff options
author | Michael I. Bushnell <mib@gnu.org> | 1995-07-07 03:44:35 +0000 |
---|---|---|
committer | Michael I. Bushnell <mib@gnu.org> | 1995-07-07 03:44:35 +0000 |
commit | b520dcf42bbbf548ee926358506c4e493717265b (patch) | |
tree | 021c04b96a0a6fd446ef6f55324347f7de33fdfb /=Maketools | |
parent | 0f708fc44aca90ee2056a0686ddb6a0dee45a67b (diff) |
(S_io_reauthenticate): Cast first arg to mig_deallocate.
Diffstat (limited to '=Maketools')
0 files changed, 0 insertions, 0 deletions