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)
commit393cd3ada1b9255734f91a4b1971ad9850af808b
treea0d40a5bd33caacdb012c54bc4c76e8633d05b15
parent3214d6ae587b8c84d0f6993d13df1ffcd5e67b2e
parent2558408d0e85206143ded775d3a8482cc11ff607
Merge pull request #371 from eazimi/master

In the LivenessChecker