Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'dev-profile-leak' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 17 Mar 2022 08:13:49 +0000 (08:13 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 17 Mar 2022 08:13:49 +0000 (08:13 +0000)
commitb5e8350693e59f34c5a0597fe64703ef9031fc07
tree454bb6dae2e85102c483a2e047ec8a297e1b6646
parent4fba9919f53926bdd39f8bdb9da4539b99d98e23
parentbe0bd1602fd88658bf5ceaf6c5697dc6e0e6187b
Merge branch 'dev-profile-leak' into 'master'

Fix leak when given an empty profile

See merge request simgrid/simgrid!88