[tor-commits] [tor/master] New force-delete option on consensus_cache_delete_pending()