Closed mathildemerle closed 9 months ago
The changes done in https://github.com/medInria/medInria-public/pull/1178 were already applied on medInria4/dev, however, this todo comment is useless now.
todo
:m:
The changes done in https://github.com/medInria/medInria-public/pull/1178 were already applied on medInria4/dev, however, this
todo
comment is useless now.:m: