Just in case you were wondering about that pop in the quid.
Quick moves for cable to 1.2440 from 1.2390 odd. EURGBP back down to where it started this morning at 0.8591.