From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 4 Nov 2013 16:41:59 +0000 (+0100)
Subject: Merge commit '78f0dd861a9bb479f33b9494a2b4ed7b977288a4' into v3_10_x
X-Git-Tag: v3_10_rc1~4
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/7813467a3119733f0598cb9957970a201efce965

Merge commit '78f0dd861a9bb479f33b9494a2b4ed7b977288a4' into v3_10_x
---

7813467a3119733f0598cb9957970a201efce965