]> https://gitweb.dealii.org/ - dealii.git/commit
Merge pull request #7565 from bangerth/fix-test
authorDaniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Mon, 7 Jan 2019 17:49:25 +0000 (18:49 +0100)
committerGitHub <noreply@github.com>
Mon, 7 Jan 2019 17:49:25 +0000 (18:49 +0100)
commitc849b6949f0a9db518ee991721872cef58701f73
tree98ffe8e1972a20b4f78c5dc606046b65b7a793d5
parent8fda953cabd93c2137f73faebd6622a015483f57
parent4bdad4fe6cd4cfa2f4dff1bd013697700ffeb7fb
Merge pull request #7565 from bangerth/fix-test

Use correct data type for a random number.

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.