On Thu, 24 Dec 2015 02:43:10 +0100, Gilles wrote:
Hi.
In commit f7ab3a70ec426669398b4f16d0f2dd5458d87a2e, a new constructor
was added: "JDKRandomGenerator(int)".
But I think that it should have been "JDKRandomGenerator(long)" as
in the constructor of "java.util.Random".
OK to change?
Done in commit eca374db08ffbb3dd8de746632fbd74acb8f2c92 ("master"
branch).
Regards,
Gilles
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
