[tor-commits] [weather/master] Fix get_highest_version(), so it really returns the highest version. Thanks, rransom.