From: Arnaud Giersch Date: Sun, 1 Mar 2020 13:25:21 +0000 (+0100) Subject: Merge branch 's_SimGrid_simgrid' into 'master' X-Git-Tag: v3.26~856 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/d9dde0b9bb9032fdea9a8caa97b5fec79f9ca280 Merge branch 's_SimGrid_simgrid' into 'master' Project name has changed from SimGrid to simgrid. See merge request simgrid/simgrid!34 --- d9dde0b9bb9032fdea9a8caa97b5fec79f9ca280