Code

Avoid GLOBAL_RNG where possible#22

Code

Merged

rfourquet merged 1 commit intoJuliaRandom:masterJuliaRandom/RandomExtensions.jl:masterfrom fingolfin:mh/GLOBAL_RNGfingolfin/RandomExtensions.jl:mh/GLOBAL_RNGCopy head branch name to clipboardOct 12, 2023

+5-5

Commits

Commits on Oct 10, 2023

• Avoid GLOBAL_RNG where possible

  fingolfin

  committed
  558f19f