Skip to content

If no seed given, use default random for seed#7597

Merged
headius merged 1 commit intojruby:masterfrom
headius:random_zero
Jan 26, 2023
Merged

If no seed given, use default random for seed#7597
headius merged 1 commit intojruby:masterfrom
headius:random_zero

Commits

Commits on Jan 25, 2023