Change more Random() methods to accept random sources (and some related tweaks)#2115
Merged
fingolfin merged 2 commits intogap-system:masterfrom Feb 4, 2018
Merged
Change more Random() methods to accept random sources (and some related tweaks)#2115fingolfin merged 2 commits intogap-system:masterfrom
fingolfin merged 2 commits intogap-system:masterfrom