Updates to random number generation APIs#143710

bors merged 4 commits into

rust-lang:masterrust-lang/rust:masterfrom

joshtriplett:random-updatesjoshtriplett/rust:random-updatesCopy head branch name to clipboard