directory server change

[coderman]

On 7/23/07, BlueStar88 <BlueStar88 at xenobite.eu> wrote:
> ...
> host:/var/lib/tor/cached-status# grep dir-source ./*
> ...
> ./847B1F850344D7876491A54892F904934E4EB85D:dir-source 86.59.21.38
> 86.59.21.38 80
> ...
> 'Tor26' is no authority directory anymore, is that correct?

tor26 $847B1F850344D7876491A54892F904934E4EB85D 2007-07-23 04:34:19 86.59.21.38

perhaps not referenced by name, but still a DA.