From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sat, 19 Oct 2019 16:53:02 +0000 (+0200)
Subject: Merge branch 'noRngStream' into 'master'
X-Git-Tag: v3.25~516
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/1692f2d57cbdd2bfffcba9481b96fb58fec34016

Merge branch 'noRngStream' into 'master'

Removing RngStream

See merge request simgrid/simgrid!19
---

1692f2d57cbdd2bfffcba9481b96fb58fec34016