From: David Wells Date: Tue, 9 Aug 2016 19:07:28 +0000 (-0400) Subject: Merge pull request #2941 from bangerth/fix-signature-of-rand X-Git-Tag: v8.5.0-rc1~786 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=0a8a2a262ef954782f29fe60dd86c6b9f9f18e74;p=dealii.git Merge pull request #2941 from bangerth/fix-signature-of-rand Fix signature of our rand/srand implementations. --- 0a8a2a262ef954782f29fe60dd86c6b9f9f18e74