[tor-commits] [tor/master] Rename trusted_dir_server_t to dir_server_t. Automatic renaming.