As of 1 November at 8:55 am GMT. Market open.