From: Martin Quinson <624847+mquinson@users.noreply.github.com>
Date: Thu, 11 Mar 2021 16:13:33 +0000 (+0100)
Subject: Merge pull request #374 from adegomme/master
X-Git-Tag: v3.27~167
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/5d70f95ee9e74e70bbf4932bef39ae76fb592fbd

Merge pull request #374 from adegomme/master

try to handle inconsistencies in github environments.
---

5d70f95ee9e74e70bbf4932bef39ae76fb592fbd