From: Augustin Degomme <26892-adegomme@users.noreply.framagit.org>
Date: Mon, 29 Aug 2022 08:20:28 +0000 (+0000)
Subject: Merge branch 'adegomme-master-patch-45262' into 'master'
X-Git-Tag: v3.32~43
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d4c7b012165b778141ed12e6e8f90122f0f0e17a

Merge branch 'adegomme-master-patch-45262' into 'master'

let's see if this finds more coverage reports

See merge request simgrid/simgrid!117
---

d4c7b012165b778141ed12e6e8f90122f0f0e17a