Le 25.03.20 à 22:44, Yves P. a écrit : > dans la dernière PR il faut du temps avant son effet. le PR doit être mergé, puis diffusé à tous les backend, puis l'analyse doit tourner pour tout le pays. ordre de grandeur : 24h entre merge et effet complet.
_______________________________________________ Talk-fr mailing list Talk-fr@openstreetmap.org https://lists.openstreetmap.org/listinfo/talk-fr