Technically PWM temperature records only go back to 1940, but the threaded data goes back to 1870 something. July 1876 also average 73.1, but the thermometer was 82 feet up on Exchange Street so who knows how accurate that really is.
So definitely the hottest official July and month for PWM, but unofficially tied for the hottest.