Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #173 from Takishipp/master
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 29 May 2017 13:31:13 +0000 (15:31 +0200)
committerGitHub <noreply@github.com>
Mon, 29 May 2017 13:31:13 +0000 (15:31 +0200)
Fix leak of memory due to changes that are taken for tracing


Trivial merge