Was summer 2018 the hottest on record?

Having further assessed the temperature data for the UK as a whole for summer 2018 the figures are so close that we are declaring it as the joint hottest on record together with 2006, 2003 and 1976.