bug13060 214 B

123456
  1. o Removed features:
  2. - Directory authorities do not support giving out the BadDirectory
  3. flag anymore.
  4. - Clients don't understand the BadDirectory flag in the consensus
  5. anymore, and ignore it.