[spip-dev] Adresse de distribution du spip_loader ?

Hello

Sur la doc
https://www.spip.net/fr_download
https://www.spip.net/fr_article5705.html

On annonçait que spip_loader est distribué depuis:
https://www.spip.net/spip-dev/INSTALL/spip_loader.php

On y trouve la version 3.0.9 ....

Peut-on avoir un script de synchro avec le git ou créer un alias qui pointe sur la bonne adresse ?

J'ai temporairement mis à jour la doc sur l'adresse réelle du git à savoir
https://git.spip.net/spip-contrib-outils/spip_loader/raw/branch/master/spip_loader.php

Ttt. Bouge ton cache mon garçon !

C’était en 4.1.0 ; je viens d’y coller la 4.1.1

MM.