Use rand48()
authorKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 22:06:44 +0000 (15:06 -0700)
committerKevin M. Rosenberg <kevin@rosenberg.net>
Mon, 12 Feb 2018 22:06:44 +0000 (15:06 -0700)

No differences found