[tor-commits] [tor/master] config: Delete get_list_of_ports_to_forward()