Skip to content

gen_random helper: move ptr argument to front#883

Merged
bors merged 1 commit intorust-lang:masterfrom RalfJung:gen_randomAug 4, 2019
+5-5

Commits

Commits on Aug 4, 2019