Mise à jour SPIP

Galère de 2019 où le spip_loader.php télécharge bien le fichier spip.zip, ,mais tourne en boucle ensuite...
Finalement j’ai écouté les conseils de Le Pic et ai décompressé le dernier SPIP pour le transférer (après sauvegarde complète sur mon disque dur...) via FileZilla et remplacé les anciens fichiers.