[tor-commits] [community/develop] Fix merge conflict for gsoc branch