From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 5 Jun 2023 10:26:59 +0000 (+0000)
Subject: Merge branch 'rename-operation-task' into 'master'
X-Git-Tag: v3.34~67
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/50315369ab3f6921a3c6c6a266cf1d25b9c56b4d

Merge branch 'rename-operation-task' into 'master'

rename operation to task

See merge request simgrid/simgrid!158
---

50315369ab3f6921a3c6c6a266cf1d25b9c56b4d