Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into 'master'
authorAugustin Degomme <adegomme@gmail.com>
Sun, 21 Jul 2019 20:11:22 +0000 (22:11 +0200)
committerAugustin Degomme <adegomme@gmail.com>
Sun, 21 Jul 2019 20:11:22 +0000 (22:11 +0200)
commita40a58d574c9378a31c314faaa987d8794a34a29
tree5c4406ac43ec6ec214d9909eb2ceedf5728df8cb
parent070e73c3f4499d52d8d5277828dde3573a438986
parent112849de03f2fae9fb4755887bc15322dbe03206
Merge branch 'master' into 'master'

MC: complete workaround in the error msg seen on modern systems

See merge request simgrid/simgrid!13