What time does the market reopen?

We seem to have settled into a 2 pip range either side of 1.2483.

Wake me if anything happens…