[tor-commits] [tor/maint-0.3.1] Remove an erroneous 0.5 in compute_weighted_bandwidths()