[Observe-commits] 07/07: Refs #7469, retour sur develop reste à bien fermer le gestionnaire de données ouvertes lors de la fermeture d'une source de données Merge branch 'feature/7469' into develop