Skip to content

Remove Rng.choose(), rename Rng.choose_option() to .choose()#14319

Merged
bors merged 1 commit intorust-lang:masterfrom
lilyball:rename_rng_choose_option
May 21, 2014

Commits

Commits on May 21, 2014