From: Augustin Degomme <adegomme@gmail.com>
Date: Tue, 25 Feb 2020 10:34:10 +0000 (+0100)
Subject: Merge branch 'surf_precision' into 'master'
X-Git-Tag: v3.26~887
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/e08142f6b96c100165667fe1b647a28b6357b5ed?ds=sidebyside

Merge branch 'surf_precision' into 'master'

Surf precision

See merge request simgrid/simgrid!32
---

e08142f6b96c100165667fe1b647a28b6357b5ed