Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: fd07081 eb413d3)
Merge branch 'dev-fix_mailbox_clear' into 'master'
authorArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 19 May 2022 15:06:40 +0000 (15:06 +0000)
committerArnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Thu, 19 May 2022 15:06:40 +0000 (15:06 +0000)
Fix mailbox::clear() to properly finish Comms

See merge request simgrid/simgrid!101


Trivial merge
Clone of SimGrid repository with local patches