Nothing concrete in this but watching the price action it could well be that orders went into several sterling pairs though not simultaneously.
Cable went first followed by EUR/GBP then GBP/JPY just now.
There were marked differences in the timelines, for example GBP/JPY posted the 153 low while cable was moving up and USD/JPY was holding steady.
