rename_dirserver 164 B

123
  1. o Renamed options:
  2. - The DirServer option is now DirAuthority, for consistency with current
  3. naming patterns. You can still use the old DirServer form.