Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'fix-multi-smpi-buffer-double-free' into 'master'
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 19 Oct 2018 05:55:48 +0000 (07:55 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 19 Oct 2018 05:55:48 +0000 (07:55 +0200)
Fix multi smpi buffer double free

See merge request simgrid/simgrid!3


Trivial merge