Skip to content

Rename Rng -> RngExt, RngCore -> Rng#1288

Closed
dhardy wants to merge 1 commit intorust-random:masterfrom dhardy:rng-ext
+248-251

Commits

Commits on Feb 20, 2023