[Observe-commits] 03/03: fixes #6937: Problème lors de la synchronisation des référentiels Merge branch 'feature/6937' into develop