I had a strange problem during last week.

I travelled to a different time zone (from GMT+2 to GMT+1) while using worldclock replacement with automatic time adjustment.

The time zone didn't change and I had to manually change the time. I tried it several times, even rebooting with no luck.

The question is that it didn't seem to be a network problem, as a second phone (with Android) in the same network received the time change message.

When returning home, I configured it again to automatic change of time zone and it changed to GMT+2 without a problem.

I don't know if this could be related with worldclock replacement but I have travelled a lot in the last 2 years with stock clock and haven't seen this problem before.