Apple vient de livrer une nouvelle mise à jour d'iOS 12 pour les appareils qui ne peuvent passer à iOS 13 : iPhone 5s, iPhone 6/6 Plus, iPod touch 6G, iPad Air et iPad mini 2/3. Il s'agit d'iOS 12.5.1, dont on ignore encore les nouveautés — sans doute des correctifs. Mi-décembre, Apple avait fourni iOS 12.5 à ces mêmes appareils, avec pour les iPhone l'activation de la fonction de notification d'exposition au Covid-19.
Mise à jour — iOS 12.5.1 apporte un correctif justement lié à la fonction de notification d'exposition, qui pouvait se tromper dans la langue de profil.