When to expect the China data today (clue, not 0200GMT)

I posted earlier I was uncertain on the timing of the China data.

What data? - Industrial Production, Retail Sales etc for May.

More here, what to expect etc.:

• Data coming from China today - May 2019 Industrial Production, Retail Sales

The data appears to be scheduled for release not at 0200GMT but at 0700GMT. I am not sure why the change. I'll be on deck at 0200 GMT just in case, but it does look like 0700GMT is the correct release time.