From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Mon, 12 Sep 2016 20:41:13 +0000 (+0200)
Subject: Merge pull request #114 from adfaure/master
X-Git-Tag: v3_14~406
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/42c705df3a3f4ccbd742c08d64487b736d7e1c34

Merge pull request #114 from adfaure/master

fix segmentation fault when process try to unlock a not locked mutex
---

42c705df3a3f4ccbd742c08d64487b736d7e1c34