That didn’t take long…

EUR/USD is now around 1.3100.