Pakistan extends DST through end of October?

I don't remember anyone posting about this recently, but one of my customers indicates that Pakistan has extended their observance of Daylight/Summer time through October 31st. Current data has DST expiring a few hours ago, at 0:00 this morning, local time. I don't have any official reference at which I can point to document the extension. Does anyone know if this is official? And if so, when might we see an update tzdata distribution? Paul Goyette Juniper Networks Customer Service JTAC Senior Escalation Engineer Juniper Security Incident Response Team PGP Key ID 0x53BA7731 Fingerprint: FA29 0E3B 35AF E8AE 6651 0786 F758 55DE 53BA 7731