Fix a mistake: there were never 10 directory authorities -- there were 9 v3... (!131) · Merge requests · The Tor Project / Web / support

Roger Dingledine requested to merge num-dir-auths into main Dec 01, 2022

Fix a mistake: there were never 10 directory authorities -- there were 9 v3 dir auths and one unrelated bridge dir auth.

While I'm here, change it from 9 to 8 because we dropped Faravahar in a recent commit.

Fix a mistake: there were never 10 directory authorities -- there were 9 v3...