diff options
| author | Miles Bader <miles@gnu.org> | 1995-07-08 22:59:43 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-07-08 22:59:43 +0000 |
| commit | 52e99c5b8584574e59f09a133b4a82db655c46f1 (patch) | |
| tree | 0adf9390f7642fc52b64af179fc9afb8cfb5f371 /Makeconf | |
| parent | bafaf013536eef09bee1982e04436c13899febc2 (diff) | |
(ports_begin_rpc): Properly add INFO to PI's current_rpcs list when the
list is empty.
Diffstat (limited to 'Makeconf')
0 files changed, 0 insertions, 0 deletions