Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'dev-fix-get-eager-activities' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Tue, 17 May 2022 12:27:44 +0000 (12:27 +0000)
committerAugustin Degomme <adegomme@gmail.com>
Tue, 17 May 2022 12:27:44 +0000 (12:27 +0000)
add eager get comms to actor activities

See merge request simgrid/simgrid!96


Trivial merge