Да, спасибо. Подтвердили моё мнение, что для Windows делать надо самому. А даты перехода я, пожалуй, возьму из таблицы `mysql`.`time_zone_transition`.