Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #179 from Takishipp/signals
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 2 Jun 2017 15:04:57 +0000 (17:04 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Jun 2017 15:04:57 +0000 (17:04 +0200)
call sg_instr_new_host via signal call


Trivial merge