race-timing

Peaty’s world record amended after timing problem at Euros