Il mio telefono cambierà automaticamente per l'ora legale?

Il 5 novembre 2023 segna la fine dell'ora legale e la maggior parte degli orologi degli smartphone avanzerà automaticamente di un'ora. Ecco come fare, nel caso in cui non succeda.