julia
9559efc7 - change uuid to use Random.RandomDevice() instead of Random.default_rng() (#35872)

Commit

5 years ago

change uuid to use Random.RandomDevice() instead of Random.default_rng() (#35872) Co-authored-by: Rafael Fourquet <fourquet.rafael@gmail.com>

References

Author

ssikdar1

Parents