Problema da Agenda / Calendário do android no horário de verão

Com a entrada do horário de verão, notei que minha agenda no smartphone ainda mostrava o horário antigo.
Isso causou um problema, pois os compromissos que agendava apareciam marcados para uma hora antes, quando sincronizava. E, se eu agendasse pelo celular, eles eram salvos com uma hora a mais.
Pare resolver isso, dentro do aplicativo de agenda do Android, vá em Configurações e desmarque o item "Usar hora local"

Não sei se terei de alterar isso novamente, quando o horário de verão acabar, mas é o que me basta no momento.