Google Pixel : la mise à jour de décembre a corrigé une tonne de bugs, mais elle en a aussi ajouté d’autres

La mise à jour Pixel de décembre vient d’être déployée. Il semble toutefois qu’elle n’ait pas fait que corriger une avalanche de bugs : elle en aurait aussi introduit deux de nature bien différente, mais qui n’en seraient pas moins embêtants….