No reports yet whether they also bought GBP but the turnover is heavy by all accounts.
(Edit) I’m told that around EUR500 million has changed hands around the 1.3125 level so interest on both sides is significant. If the market can work through this then it might get very interesting in the high 1.31’s where the stops are said to be very heavy. Should be an interesting European session.
Have a great weekend and good luck out there.