Mitel Phones not getting updated time from Daylight Savings Time

missing the fact the phones source for time can be different that the PBX’s

i think the answer is going to lie in the phones config … what are they using as a time source and what offset is being applied and is that offset correct