Closed ngonthier closed 5 months ago
Discuté avec @CelestinHuet , il ne voit pas de warning dans ces git pull. Je pense qu'il s'agit d'un problème local chez moi entre git rebase faits localement et des résolutions de conflits faits sur le github. J'ai rapidement observé l'historique et je n'ai rien vu de particulièrement problématique. Je pense que l'on peut clore, au pire en ouvrir une autre si jamais un autre problème qui n'a pas été vu surgissait.
Très bien. Nous pouvons alors fermer l'issue.
Nettoyage de commit sur proto_diff