Re: [tz] Spain may change time

On 12/15/2016 02:35 AM, Michael Deckers via tz wrote:

Perhaps the instant of the switch to time zone time for Europe/Madrid could also be corrected.

Thanks for catching that error. I installed the attached.