-
If we try to set the same index several times we will wrongly have several references to it and, thus, will never be deleted, which Valgrind dislikes See !674
480e1611
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
If we try to set the same index several times we will wrongly have several references to it and, thus, will never be deleted, which Valgrind dislikes See !674