From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Wed, 4 Dec 2019 23:57:10 +0000 (+0100)
Subject: Merge branch 'doc' into 'master'
X-Git-Tag: v3.25~337^2~1
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/c864f7396a94658545769fb9c28e9ff7cef02530

Merge branch 'doc' into 'master'

Fix link in Mutex doc

See merge request simgrid/simgrid!25
---

c864f7396a94658545769fb9c28e9ff7cef02530