-
Nick Mathewson authored
This has been already disabled in the directory consensus for a while; it didn't seem to break anything. Finally closes #7803.
b3bd7a73
This has been already disabled in the directory consensus for a while; it didn't seem to break anything. Finally closes #7803.