Prepare rand_os 0.1.3 release#748

dhardy merged 2 commits into

rust-random:masterrust-random/rand:masterfrom

dhardy:masterdhardy/rand:masterCopy head branch name to clipboard