Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #30 from fernandodeperto/bugfix-ptp_messages
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 9 Oct 2015 19:22:32 +0000 (21:22 +0200)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 9 Oct 2015 19:22:32 +0000 (21:22 +0200)
Fix duplicate PTP messages when tracing/smpi/internals is enabled


Trivial merge