Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #371 from eazimi/master
authorMartin Quinson <624847+mquinson@users.noreply.github.com>
Fri, 11 Dec 2020 15:35:43 +0000 (16:35 +0100)
committerGitHub <noreply@github.com>
Fri, 11 Dec 2020 15:35:43 +0000 (16:35 +0100)
In the LivenessChecker


Trivial merge