La mise à jour 2.3.4 (GINGERBREAD.XWKQG) pour le Samsung Galaxy Mini est disponible pour les appareils nus, vous pouvez vous la procurer via Samsung KIES. Il suffit de connecter votre appareil à votre ordinateur via le câble USB / micro USB puis de lancer KIES, la mise à jour devrait être proposée si votre terminal est reconnu et en mode « KIES ».
D’autre part, la mise à jour 2.3.5 pour le Mini est sensée arriver d’ici la fin du mois, si on en croit le planning présenté par SFR :
merci à Jef pour l’info !