From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 25 May 2022 12:44:24 +0000 (+0000)
Subject: Merge branch 'graphicator_seal' into 'master'
X-Git-Tag: v3.32~214
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7e4fd5adeb1612f5b2222f51b66e6d3fd005e98b

Merge branch 'graphicator_seal' into 'master'

Seal the platform in graphicator before dumping

See merge request simgrid/simgrid!107
---

7e4fd5adeb1612f5b2222f51b66e6d3fd005e98b