From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 26 Apr 2023 12:45:40 +0000 (+0000)
Subject: Merge branch 'operation-plugin' into 'master'
X-Git-Tag: v3.34~152
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/83749eb955aac66c4d679e819842c19b64a2dd32?hp=83749eb955aac66c4d679e819842c19b64a2dd32

Merge branch 'operation-plugin' into 'master'

Operation plugin

See merge request simgrid/simgrid!145
---