From: Martin Quinson <624847+mquinson@users.noreply.github.com>
Date: Fri, 11 Dec 2020 15:35:43 +0000 (+0100)
Subject: Merge pull request #371 from eazimi/master
X-Git-Tag: v3.26~13
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/393cd3ada1b9255734f91a4b1971ad9850af808b

Merge pull request #371 from eazimi/master

In the LivenessChecker
---

393cd3ada1b9255734f91a4b1971ad9850af808b